diff options
Diffstat (limited to 'devel/astah-community/files/patch-jude')
-rw-r--r-- | devel/astah-community/files/patch-jude | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/devel/astah-community/files/patch-jude b/devel/astah-community/files/patch-jude deleted file mode 100644 index c0bae388278b..000000000000 --- a/devel/astah-community/files/patch-jude +++ /dev/null @@ -1,20 +0,0 @@ ---- jude.orig Tue Oct 26 21:21:53 2004 -+++ jude Tue Nov 9 13:58:28 2004 -@@ -3,13 +3,14 @@ - #Remove "#" from following two lines, if you'd like to use j2sdk. - #JAVA_HOME=/usr/lib/j2sdk1.4/;export JAVA_HOME - #PATH=$JAVA_HOME/bin:$PATH; export PATH -+PATH=%%DATADIR%%:$PATH - --#JUDE_HOME=/usr/local/share/jude_community --JUDE_HOME=`dirname $0` -+JUDE_HOME=%%DATADIR%% -+#JUDE_HOME=`dirname $0` - JUDE_JAR=jude-community.jar - - CLASSPATH=$JUDE_HOME/$JUDE_JAR - - JAVA_OPTS="-Xms16m -Xmx512m -Xss2m" - --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 |