jflex (1.4.3-1) 03_script_cp_fix.patch

Summary


     bin/jflex |    3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

download this patch

Patch contents

--- jflex/bin/jflex.orig	2003-01-07 16:29:31.000000000 +0100
+++ jflex/bin/jflex	2005-10-06 21:16:57.000000000 +0200
@@ -42,8 +42,9 @@
 
 # --------------------------------------------------------------------
 
+CLASSPATH=/usr/share/java/JFlex.jar:${CLASSPATH}
 export CLASSPATH
-CLASSPATH=$JFLEX_HOME/lib/JFlex.jar
+
 
 $JAVA JFlex.Main $@

page code/design/content is copyright (c) 2008 sean finney <seanius@debian.org>.
patches viewed/retrieved through this system are copyrighted by their respective authors.
browse git repo - clone git repo