diff options
Diffstat (limited to 'ci/run-in-cygwin.bat')
| -rw-r--r-- | ci/run-in-cygwin.bat | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/ci/run-in-cygwin.bat b/ci/run-in-cygwin.bat new file mode 100644 index 0000000..146d28e --- /dev/null +++ b/ci/run-in-cygwin.bat @@ -0,0 +1,6 @@ +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 -- %* |