17b42fa78f
PR: ports/65807 Submitted by: Yoshihiko Sarumaru <mistral@imasy.or.jp>
18 lines
525 B
Text
18 lines
525 B
Text
--- jude.orig Tue Jan 27 17:07:58 2004
|
|
+++ jude Tue Apr 20 10:26:43 2004
|
|
@@ -4,12 +4,12 @@
|
|
#JAVA_HOME=/usr/lib/j2sdk1.4/;export JAVA_HOME
|
|
#PATH=$JAVA_HOME/bin; export PATH
|
|
|
|
-#JUDE_HOME=/usr/local/share/jude_take
|
|
-JUDE_HOME=`dirname $0`
|
|
+JUDE_HOME=/usr/local/share/jude_take
|
|
+#JUDE_HOME=`dirname $0`
|
|
JUDE_JAR=jude-take.jar
|
|
|
|
CLASSPATH=$JUDE_HOME/$JUDE_JAR
|
|
|
|
JAVA_OPTS="-Xms16m -Xmx256m -Xss1m"
|
|
|
|
-java $JAVA_OPTS -jar $JUDE_HOME/$JUDE_JAR $1 $2 $3
|
|
+%%JAVA_HOME%%/bin/java $JAVA_OPTS -jar $JUDE_HOME/$JUDE_JAR $1 $2 $3
|