bin/test

   1 #!/bin/bash
   2 #
   3 # unix shell script to run jpf
   4 #
   5
   6 JPF_HOME=`dirname "$0"`/..
   7
   8 if test -z "$JVM_FLAGS"; then
   9   JVM_FLAGS="-Xmx1024m -ea"
  10 fi
  11
  12 java $JVM_FLAGS -jar "$JPF_HOME/build/RunTest.jar" "$@"
  13