diff options
| author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2018-03-20 07:26:48 +0100 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2018-03-20 07:26:48 +0100 |
| commit | 8309cf5867aabde511db492366cbbec39d45e0cb (patch) | |
| tree | f456bb7bf59fb67a8d099eb4dca819e1c71a1d0e /make_win32.bat | |
| parent | 2f7903e9688734698615db5889efa21ffaf59c4d (diff) | |
| parent | 6c434f095b49a3c33c6e34f27f0bff906f162d85 (diff) | |
Merge branch 'feature/upstream' into develop
Diffstat (limited to 'make_win32.bat')
| -rw-r--r-- | make_win32.bat | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/make_win32.bat b/make_win32.bat index e628994..bd1a072 100644 --- a/make_win32.bat +++ b/make_win32.bat @@ -1,3 +1,5 @@ -cd src
-copy config.h.win32 config.h
-nmake -f Makefile.windows
+SET ONIG_DIR=%~dp0\src +set THIS_DIR=%~dp0 +set BUILD_DIR=%cd% +copy %ONIG_DIR%\config.h.win32 %BUILD_DIR%\config.h +nmake -f %ONIG_DIR%\Makefile.windows %1 |