# HG changeset patch
# User wenzelm
# Date 1358171634 -3600
# Node ID bfe84bbd010b42f913fa1bae5685d843557db7d3
# Parent  1cadc8a8b37767f318d0dab5c6455391988751f6
clarified paths: init relatively to cygwin root;

diff -r 1cadc8a8b377 -r bfe84bbd010b Admin/Windows/Cygwin/isabelle/init.bat
--- a/Admin/Windows/Cygwin/isabelle/init.bat	Mon Jan 14 14:52:52 2013 +0100
+++ b/Admin/Windows/Cygwin/isabelle/init.bat	Mon Jan 14 14:53:54 2013 +0100
@@ -1,11 +1,11 @@
 @echo off
 
 cd "%~dp0"
-cd "..\.."
+cd ".."
 
 set CYGWIN=nodosfilewarning
 
 echo Initializing Cygwin ...
-"contrib\cygwin\bin\dash" /isabelle/rebaseall contrib/polyml-5.5.0
-"contrib\cygwin\bin\bash" /isabelle/postinstall
+"bin\dash" /isabelle/rebaseall polyml-5.5.0
+"bin\bash" /isabelle/postinstall
 
diff -r 1cadc8a8b377 -r bfe84bbd010b Admin/Windows/Cygwin/isabelle/rebaseall
--- a/Admin/Windows/Cygwin/isabelle/rebaseall	Mon Jan 14 14:52:52 2013 +0100
+++ b/Admin/Windows/Cygwin/isabelle/rebaseall	Mon Jan 14 14:53:54 2013 +0100
@@ -4,9 +4,11 @@
 
 FILE_LIST="$(mktemp)"
 
-for DIR in "$@"
+CONTRIB="$(cygpath -u "$(cygpath -w /)\..")"
+
+for NAME in "$@"
 do
-  find "$DIR" -name "*.dll" >> "$FILE_LIST"
+  find "$CONTRIB/$NAME" -name "*.dll" >> "$FILE_LIST"
 done
 
 dash /bin/rebaseall -T "$FILE_LIST"