diff options
Diffstat (limited to 'devel/astah-community/files/patch-jude')
-rw-r--r-- | devel/astah-community/files/patch-jude | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/devel/astah-community/files/patch-jude b/devel/astah-community/files/patch-jude new file mode 100644 index 000000000000..26ec7349aa10 --- /dev/null +++ b/devel/astah-community/files/patch-jude @@ -0,0 +1,18 @@ +--- 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 |