Le 02/01/2015 10:23, Thorsten Glaser a écrit : > Hm, so what can we do here? Increase the timeout in antlr3 for > “slow” platforms? (Could it look at /proc/cpuinfo or something? > Except, that file is platform-specific… so a list of known to > be slow platforms would help.) Or is this a GCJ vs. OpenJDK issue?
I got a similar issue with the packaging of openjfx. It's possible to increase the timeout by setting the -Xconversiontimeout parameter. See: https://sources.debian.net/src/openjfx/8u20-b26-3/debian/patches/05-set-antlr-timeout.patch Emmanuel Bourg -- To UNSUBSCRIBE, email to debian-java-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/54a6b75f.70...@apache.org
