diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 21:03:06 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 21:03:06 +0100 |
| commit | 8376ef56580626e9c0f796d5b85b53a0a1c7d5f5 (patch) | |
| tree | 7681bbd4e8b05407772df40a4bf04cbbc8afc3fa /dev-java/jython/files/jython-2.7.0-build.xml.patch | |
| parent | 30a9caf154332f12ca60756e1b75d2f0e3e1822d (diff) | |
gentoo resync : 14.07.2018
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, 11 insertions, 0 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 new file mode 100644 index 000000000000..1f0be614dbe5 --- /dev/null +++ b/dev-java/jython/files/jython-2.7.0-build.xml.patch @@ -0,0 +1,11 @@ +--- 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"/> |