Added debug option to launch scripts.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@505 bbc10eb1-c90d-0410-af57-cb519fbb1720
18 years ago · 467f978da0
3 changed files with 3 additions and 3 deletions
--- a/prism/src/bin/prism.cygwin
+++ b/prism/src/bin/prism.cygwin
@ -56,4 +56,4 @@ if [ "$PRISM_HEADLESS" = "" ]; then
 fi

 # Run PRISM through Java
-"$PRISM_JAVA" $PRISM_JAVAMAXMEM -Djava.awt.headless=$PRISM_HEADLESS -Djava.library.path=`cygpath -wp $PRISM_DIR/lib` -classpath `cygpath -wp $"$PRISM_CLASSPATH"` $PRISM_MAINCLASS "$@"
+"$PRISM_JAVA" $PRISM_JAVA_DEBUG $PRISM_JAVAMAXMEM -Djava.awt.headless=$PRISM_HEADLESS -Djava.library.path=`cygpath -wp $PRISM_DIR/lib` -classpath `cygpath -wp $"$PRISM_CLASSPATH"` $PRISM_MAINCLASS "$@"
--- a/prism/src/bin/prism.darwin
+++ b/prism/src/bin/prism.darwin
@ -56,4 +56,4 @@ if [ "$PRISM_HEADLESS" = "" ]; then
 fi

 # Run PRISM through Java
-"$PRISM_JAVA" $PRISM_JAVAMAXMEM -Djava.awt.headless=$PRISM_HEADLESS -Djava.library.path=$PRISM_DIR/lib -classpath "$PRISM_CLASSPATH" $PRISM_MAINCLASS "$@"
+"$PRISM_JAVA" $PRISM_JAVA_DEBUG $PRISM_JAVAMAXMEM -Djava.awt.headless=$PRISM_HEADLESS -Djava.library.path=$PRISM_DIR/lib -classpath "$PRISM_CLASSPATH" $PRISM_MAINCLASS "$@"
--- a/prism/src/bin/prism.linux
+++ b/prism/src/bin/prism.linux
@ -56,4 +56,4 @@ if [ "$PRISM_HEADLESS" = "" ]; then
 fi

 # Run PRISM through Java
-"$PRISM_JAVA" $PRISM_JAVAMAXMEM -Djava.awt.headless=$PRISM_HEADLESS -Djava.library.path=$PRISM_DIR/lib -classpath "$PRISM_CLASSPATH" $PRISM_MAINCLASS "$@"
+"$PRISM_JAVA" $PRISM_JAVA_DEBUG $PRISM_JAVAMAXMEM -Djava.awt.headless=$PRISM_HEADLESS -Djava.library.path=$PRISM_DIR/lib -classpath "$PRISM_CLASSPATH" $PRISM_MAINCLASS "$@"