author | wenzelm |
Wed, 27 Jun 2012 17:36:46 +0200 | |
changeset 48160 | ac561771abdb |
parent 47735 | 5c158c6fe98c |
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. |
|
47708 | 9 |
"%CD%\contrib\cygwin-1.7.9\bin\bash" --login -i |