diff options
Diffstat (limited to 'editors/jext/files/patch-aa')
| -rw-r--r-- | editors/jext/files/patch-aa | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/editors/jext/files/patch-aa b/editors/jext/files/patch-aa deleted file mode 100644 index 40c1af1..0000000 --- a/editors/jext/files/patch-aa +++ /dev/null @@ -1,33 +0,0 @@ - -$FreeBSD$ - ---- bin/jext 2002/03/05 12:28:20 1.1 -+++ bin/jext 2002/03/05 12:31:15 -@@ -26,6 +26,10 @@ - exit 0 - fi - -+JEXT_HOME=%%JEXT_HOME%% -+export JEXT_HOME -+JAVA_CMD=%%JAVAVM%% -+ - # Guess for JEXT_HOME if not set already - if [ -z "$JEXT_HOME" ] ; then - # strip "/bin/sometext" from script path -@@ -59,11 +63,11 @@ - # Directories are done - ## - --if [ "$JAVA_HOME" = "" ] ; then -- echo "You have not set the JAVA_HOME environment variable." -- echo "I'll still load Jext but you may encounter font warnings" -- echo "and other nasties." --fi -+#if [ "$JAVA_HOME" = "" ] ; then -+# echo "You have not set the JAVA_HOME environment variable." -+# echo "I'll still load Jext but you may encounter font warnings" -+# echo "and other nasties." -+#fi - - # Allows for those with varying JDKs and standard calls to java - if [ -z "$JAVA_CMD" ] ; then |
