diff options
Diffstat (limited to 'dev-java/jython/files/jython-2.7.0-build.xml.patch')
| -rw-r--r-- | dev-java/jython/files/jython-2.7.0-build.xml.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/dev-java/jython/files/jython-2.7.0-build.xml.patch b/dev-java/jython/files/jython-2.7.0-build.xml.patch deleted file mode 100644 index 1f0be614dbe5..000000000000 --- a/dev-java/jython/files/jython-2.7.0-build.xml.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- a/build.xml.orig 2015-06-27 16:12:08.442000000 +0000 -+++ b/build.xml 2015-06-27 16:12:15.684000000 +0000 -@@ -448,7 +448,7 @@ - </target> - - <target name="antlr_gen" depends="prepare-output" unless="antlr.notneeded"> -- <java classname="org.antlr.Tool" failonerror="true" fork="true" dir="${jython.base.dir}"> -+ <java classname="org.antlr.Tool" failonerror="false" fork="true" dir="${jython.base.dir}"> - <jvmarg value="-Xmx512m"/> - <arg value="-Xconversiontimeout"/> - <arg value="2000"/> |