From 467f978da0641680faf70ad2681927713af14589 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 2 Nov 2007 16:02:33 +0000
Subject: [PATCH] Added debug option to launch scripts.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@505 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/bin/prism.cygwin | 2 +-
 prism/src/bin/prism.darwin | 2 +-
 prism/src/bin/prism.linux  | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/prism/src/bin/prism.cygwin b/prism/src/bin/prism.cygwin
index 9c61667b..159723a7 100644
--- 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 "$@"
diff --git a/prism/src/bin/prism.darwin b/prism/src/bin/prism.darwin
index 82fe3748..9f95caeb 100755
--- 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 "$@"
diff --git a/prism/src/bin/prism.linux b/prism/src/bin/prism.linux
index 372b4905..7062545b 100755
--- 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 "$@"