diff options
Diffstat (limited to 'editors/jext/files')
| -rw-r--r-- | editors/jext/files/patch-aa | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/editors/jext/files/patch-aa b/editors/jext/files/patch-aa new file mode 100644 index 000000000000..b65732895edb --- /dev/null +++ b/editors/jext/files/patch-aa @@ -0,0 +1,19 @@ +--- jext.orig Wed Mar 1 22:40:49 2000 ++++ jext Wed Mar 1 22:41:16 2000 +@@ -4,11 +4,14 @@ + # This version allows for an install in a central area like /usr/local/jext. + # Set the JEXT_HOME to /usr/local/jext and add this to your PATH. + # Norbert Seidel +- ++JEXT_HOME=%JEXT_HOME% ++CLASSPATH=$CLASSPATH:%JFC%:$JEXT_HOME/jext.jar ++export CLASSPATH ++export JEXT_HOME + # Add links to plugins + if [ ! -d "$HOME/.jext" ]; then + mkdir -p $HOME/.jext/xinsert + ln -s $JEXT_HOME/plugins $HOME/.jext + fi + +-java -ms4m -mx16m -classpath $JEXT_HOME/jext.jar com.chez.powerteam.jext.Jext $* & ++%JAVAVM% -ms4m -mx16m -Djava.compiler=%JAVAJIT% com.chez.powerteam.jext.Jext $* |