author | wenzelm |
Thu, 28 Aug 2014 15:47:26 +0200 | |
changeset 58069 | 0255436b3d85 |
parent 50831 | 7784cc660580 |
child 58640 | 37f852399a32 |
permissions | -rwxr-xr-x |
47708 | 1 |
@echo off |
2 |
||
3 |
set HOME=%HOMEDRIVE%%HOMEPATH% |
|
4 |
set PATH=%CD%\bin;%PATH% |
|
47721
77d9881bc820
prevent change of directory, by pretending we are the "Command Here" utility;
wenzelm
parents:
47708
diff
changeset
|
5 |
set CHERE_INVOKING=true |
47735 | 6 |
|
7 |
echo This is the GNU Bash interpreter of Cygwin. |
|
8 |
echo Use command "isabelle" to invoke Isabelle tools. |
|
50831 | 9 |
"%CD%\contrib\cygwin\bin\bash" --login -i |