Karl Hallsby 3e19432416 gnu: tla2tools: Add UseParallelGC to Java command in wrapper scripts. ...

* gnu/packages/java.scm: Add -XX:+UseParallelGC to generated wrapper scripts
for TLA+'s binary tools.

TLA+'s tools request (and throw a warning message) when you invoke them
without Java's parallel GC flag. Including this flag removes the warning
message and should improve performance (theoretically).

Change-Id: I12f7432db21db31ae2b0b30cc7f41f4a6af58b0a
Signed-off-by: Ludovic Courtès <ludo@gnu.org>

2024-05-31 13:55:43 +02:00

603 KiB

Raw Blame History

View Raw