#!/bin/bash
#
# unix shell script to run jpf
#

JPF_HOME=`dirname "$0"`/..

if test -z "$JVM_FLAGS"; then
  JVM_FLAGS="-Xmx1024m -ea"
fi

java $JVM_FLAGS -jar "$JPF_HOME/tools/RunJPF.jar" "$@"
