diff options
Diffstat (limited to 'ci/run-in-cygwin.bat')
| -rw-r--r-- | ci/run-in-cygwin.bat | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/ci/run-in-cygwin.bat b/ci/run-in-cygwin.bat deleted file mode 100644 index 146d28e..0000000 --- a/ci/run-in-cygwin.bat +++ /dev/null @@ -1,6 +0,0 @@ -if _%arch%_ == _x64_ set CYGWIN_ROOT=C:\cygwin64 -if _%arch%_ == _x86_ set CYGWIN_ROOT=C:\cygwin - -set PATH=%CYGWIN_ROOT%\bin;%SYSTEMROOT%\system32 - -env.exe -- %* |