diff options
author | Jörg Frings-Fürst <debian@jff.email> | 2018-05-01 09:43:15 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff.email> | 2018-05-01 09:43:15 +0200 |
commit | 031a61b81318d9df626b2a332713eb1effa997a1 (patch) | |
tree | 085e531ee4e07594d904106413989fa5fdf14be8 /make_win32.bat | |
parent | 5587db012cd0e8f69f811e8959a861112904136a (diff) | |
parent | 38848ee931202f14ff21b07de1033e6fcd17f079 (diff) |
Merge branch 'release/6.8.1-1'6.8.1-1
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 |