# HG changeset patch
# User wenzelm
# Date 1372771853 -7200
# Node ID 9b44e7df9350e83ba14e67892db8d8bd5a3a7115
# Parent  812215680f6d13d1151c99d0df9f6091f10c6b0f
clarified initial cd;

diff -r 812215680f6d -r 9b44e7df9350 Admin/Windows/Cygwin/isabelle/init.bat
--- a/Admin/Windows/Cygwin/isabelle/init.bat	Tue Jul 02 14:48:01 2013 +0200
+++ b/Admin/Windows/Cygwin/isabelle/init.bat	Tue Jul 02 15:30:53 2013 +0200
@@ -1,11 +1,11 @@
 @echo off
 
 cd "%~dp0"
-cd ".."
+cd "..\..\.."
 
 set CYGWIN=nodosfilewarning
 
 echo Initializing Cygwin ...
-"bin\dash" /isabelle/rebaseall
-"bin\bash" /isabelle/postinstall
+"contrib\cygwin\bin\dash" /isabelle/rebaseall
+"contrib\cygwin\bin\bash" /isabelle/postinstall
 
diff -r 812215680f6d -r 9b44e7df9350 Admin/Windows/Cygwin/isabelle/rebaseall
--- a/Admin/Windows/Cygwin/isabelle/rebaseall	Tue Jul 02 14:48:01 2013 +0200
+++ b/Admin/Windows/Cygwin/isabelle/rebaseall	Tue Jul 02 15:30:53 2013 +0200
@@ -4,9 +4,7 @@
 
 FILE_LIST="$(mktemp)"
 
-CONTRIB="$(cygpath -u "$(cygpath -w /)\..")"
-
-for DIR in "$CONTRIB/polyml"*
+for DIR in contrib/polyml*
 do
   find "$DIR" -name "*.dll" >> "$FILE_LIST"
 done