changeset 52500 | 9b44e7df9350 |
parent 50892 | 9a7d81d66d09 |
52499:812215680f6d | 52500:9b44e7df9350 |
---|---|
1 @echo off |
1 @echo off |
2 |
2 |
3 cd "%~dp0" |
3 cd "%~dp0" |
4 cd ".." |
4 cd "..\..\.." |
5 |
5 |
6 set CYGWIN=nodosfilewarning |
6 set CYGWIN=nodosfilewarning |
7 |
7 |
8 echo Initializing Cygwin ... |
8 echo Initializing Cygwin ... |
9 "bin\dash" /isabelle/rebaseall |
9 "contrib\cygwin\bin\dash" /isabelle/rebaseall |
10 "bin\bash" /isabelle/postinstall |
10 "contrib\cygwin\bin\bash" /isabelle/postinstall |
11 |
11 |