diff options
Diffstat (limited to 'make/build.xml')
| -rw-r--r-- | make/build.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/make/build.xml b/make/build.xml index a4afadb..516daa1 100644 --- a/make/build.xml +++ b/make/build.xml @@ -699,7 +699,7 @@ --> <target name="generate.java"> <!-- Generate the Java files --> - <antlr target="${output.dir}/${target}" outputdirectory="${output.dir}"> + <antlr target="${output.dir}/${target}" outputdirectory="${output.dir}" debug="no" trace="no"> <classpath refid="antlr.classpath" /> </antlr> </target> @@ -715,7 +715,7 @@ --> <target name="generate.java.override"> <!-- Generate the Java files --> - <antlr target="${output.dir}/${target}" glib="${output.dir}/${override}" outputdirectory="${output.dir}"> + <antlr target="${output.dir}/${target}" glib="${output.dir}/${override}" outputdirectory="${output.dir}" debug="no" trace="no"> <classpath refid="antlr.classpath" /> </antlr> </target> |