diff options
author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2018-03-20 06:14:54 +0100 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2018-03-20 06:14:54 +0100 |
commit | 87775e053d9f78506d8b4d3904c5f824c908389e (patch) | |
tree | 027c5a2496c7306f0445942537fe70faf52fa785 /make_win32.bat | |
parent | 2f7903e9688734698615db5889efa21ffaf59c4d (diff) | |
parent | 10abcf77cc24dfae451d96310b4391dad35906ed (diff) |
Update upstream source from tag 'upstream/6.8.1'
Update to upstream version '6.8.1'
with Debian dir 4321ce29f0c752eb322b128cd10520c8d9a87991
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 |