Icon location bugfix for Mac Dock.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2067 bbc10eb1-c90d-0410-af57-cb519fbb1720
16 years ago · 067e0aebc6
1 changed files with 1 additions and 1 deletions
--- a/prism/src/bin/prism.darwin
+++ b/prism/src/bin/prism.darwin
@ -58,7 +58,7 @@ if [ "$PRISM_HEADLESS" = "" ]; then
 	PRISM_HEADLESS=true
 fi

-ICON_OPTION="-Xdock:name=PRISM -Xdock:icon=$PRISM_DIR/etc/p64.png"
+ICON_OPTION="-Xdock:name=PRISM -Xdock:icon=$PRISM_DIR/etc/icons/p64.png"

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