diff options
Diffstat (limited to 'jpf')
-rw-r--r-- | jpf | 13 |
1 files changed, 13 insertions, 0 deletions
@@ -0,0 +1,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" "$@" + |