On Fri, 2 Jan 2015, Emmanuel Bourg wrote: > 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
Ah, okay, thanks. Dear maintainers, could you please add this? Thanks, //mirabilos -- tarent solutions GmbH Rochusstraße 2-4, D-53123 Bonn • http://www.tarent.de/ Tel: +49 228 54881-393 • Fax: +49 228 54881-235 HRB 5168 (AG Bonn) • USt-ID (VAT): DE122264941 Geschäftsführer: Dr. Stefan Barth, Kai Ebenrett, Boris Esser, Alexander Steeg -- 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/alpine.deb.2.11.1501021643150.20...@tglase.lan.tarent.de
