11 lines
290 B
Text
11 lines
290 B
Text
--- uppaal.orig Wed Sep 13 21:41:07 2006
|
|
+++ uppaal Wed Sep 13 21:41:21 2006
|
|
@@ -6,7 +6,7 @@
|
|
|
|
HERE=`dirname $0`
|
|
JAR=$HERE/uppaal.jar
|
|
-ENGINE=$HERE/bin-`uname`
|
|
+ENGINE=$HERE/bin-Linux
|
|
if [ "$DISPLAY" = ":0.0" -o "$DISPLAY" = ":0" ]; then
|
|
java -jar $JAR -enginePath $ENGINE $*
|
|
else
|