1 2 3 4 5 6 7 8 9 10 11 12
#!/bin/sh dir="$(dirname "$0")" jar=tla2tools.jar exec java \ -XX:+UseParallelGC \ -XX:InitialRAMPercentage=25 \ -XX:MaxRAMPercentage=50 \ -cp "$dir/$jar" tlc2.TLC \ -workers auto \ "$@"