changeset 47525 | 9c8a1b9c0630 |
parent 47490 | f4348634595b |
child 47661 | 012a887997f3 |
--- a/lib/scripts/getsettings Tue Apr 17 22:26:36 2012 +0200 +++ b/lib/scripts/getsettings Tue Apr 17 23:24:46 2012 +0200 @@ -14,7 +14,7 @@ #JVM path wrapper if [ "$OSTYPE" = cygwin ] then - ISABELLE_HOME_WINDOWS="$(cygpath -d "$(dirname "$ISABELLE_HOME")")\\$(basename "$ISABELLE_HOME")" + ISABELLE_HOME_WINDOWS="$(cygpath -w "$(dirname "$ISABELLE_HOME")")\\$(basename "$ISABELLE_HOME")" ISABELLE_HOME="$(cygpath -u "$ISABELLE_HOME_WINDOWS")" CLASSPATH="$(cygpath -i -u -p "$CLASSPATH")"