diff options
| author | Karl Hallsby <karl@hallsby.com> | 2024-05-02 10:35:35 -0500 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2024-05-31 13:55:43 +0200 |
| commit | 3e19432416e55dc8df426652a4c325ac2fd8b81c (patch) | |
| tree | fdafd25be9fb50d3f8fdf42a05144c144b5355fa /gnu/packages/flashing-tools.scm | |
| parent | 734eaf5ce0ec7ea0a45ec348a2fdf945e5b63fa9 (diff) | |
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>
Diffstat (limited to 'gnu/packages/flashing-tools.scm')
0 files changed, 0 insertions, 0 deletions