blob: d4375aba205010d6b66c60587c3523db4139f712 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
#!/bin/bash
#
# unix shell script to run jpf
#
JPF_HOME=/usr/share/java/jpf
if test -z "$JVM_FLAGS"; then
JVM_FLAGS="-Xmx1024m -ea"
fi
java $JVM_FLAGS -jar "$JPF_HOME/RunJPF.jar" "$@"
|