Mercurial Mercurial > repos > testboard / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/scripts/getsettings
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")"
testboard