SOURCES: jflex-notarget.patch (NEW) - do not set target="1.1"

[pawelz]

Author: pawelz                       Date: Thu Feb 19 18:23:06 2009 GMT
Module: SOURCES                       Tag: HEAD
---- Log message:
- do not set target="1.1"

---- Files affected:
SOURCES:
   jflex-notarget.patch (NONE -> 1.1)  (NEW)

---- Diffs:

================================================================
Index: SOURCES/jflex-notarget.patch
diff -u /dev/null SOURCES/jflex-notarget.patch:1.1
--- /dev/null	Thu Feb 19 19:23:07 2009
+++ SOURCES/jflex-notarget.patch	Thu Feb 19 19:23:01 2009
@@ -0,0 +1,10 @@
+--- jflex-1.4.1/jflex/src/build.xml~	2009-02-19 19:17:19.000000000 +0100
++++ jflex-1.4.1/jflex/src/build.xml	2009-02-19 19:20:14.000000000 +0100
+@@ -59,7 +59,6 @@
+           description="compile all classes">
+     <javac srcdir="." 
+            destdir="../lib" 
+-           target="1.1"
+            classpath="."
+            debug="on" />
+   </target>
================================================================