diff options
Diffstat (limited to 'java/jflex')
| -rw-r--r-- | java/jflex/files/patch-Makefile | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/java/jflex/files/patch-Makefile b/java/jflex/files/patch-Makefile index 54c816b15472..a05e36bf6ae1 100644 --- a/java/jflex/files/patch-Makefile +++ b/java/jflex/files/patch-Makefile @@ -1,6 +1,6 @@ --- src/Makefile.orig Mon Oct 8 03:57:06 2001 -+++ src/Makefile Wed Feb 18 12:30:44 2004 -@@ -1,23 +1,21 @@ ++++ src/Makefile Thu Feb 19 10:19:19 2004 +@@ -1,23 +1,20 @@ # you need JFlex 1.2.2 and CUP 0.10j or later for this Makefile to work JFLEX = jflex -skel skeleton.nested @@ -23,7 +23,6 @@ # ------------------------------------------------------------ -JAVAC_FLAGS = -+JAVAC_FLAGS = -target 1.1 JARFILE = JFlex.jar |