clarified initial cd;
authorwenzelm
Tue, 02 Jul 2013 15:30:53 +0200
changeset 52500 9b44e7df9350
parent 52499 812215680f6d
child 52501 e4f668f258a1
clarified initial cd;
Admin/Windows/Cygwin/isabelle/init.bat
Admin/Windows/Cygwin/isabelle/rebaseall
--- 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
 
--- 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