diff options
| author | Jörg Frings-Fürst <debian@jff.email> | 2018-09-05 22:32:59 +0200 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff.email> | 2018-09-05 22:32:59 +0200 |
| commit | 6a3c5a588240760f577cf090c5e484b821af1873 (patch) | |
| tree | d527e9ced7d531815e9d43bec38e62a6cd53de36 /make_win.bat | |
| parent | a38d6e8f8417b777925660269969ce2d353808ef (diff) | |
| parent | b0132ba11e2c7609d7b50ffa56532a357efe6e2a (diff) | |
Merge branch 'feature/upstream' into develop
Diffstat (limited to 'make_win.bat')
| -rw-r--r-- | make_win.bat | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/make_win.bat b/make_win.bat new file mode 100644 index 0000000..470ef11 --- /dev/null +++ b/make_win.bat @@ -0,0 +1,5 @@ +SET ONIG_DIR=%~dp0\src +set THIS_DIR=%~dp0 +set BUILD_DIR=%cd% +copy %ONIG_DIR%\config.h.windows.in %BUILD_DIR%\config.h +nmake -f %ONIG_DIR%\Makefile.windows %1 |