diff options
Diffstat (limited to 'build_w32.bat')
| -rwxr-xr-x | build_w32.bat | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build_w32.bat b/build_w32.bat index 9fbfb4bb..b245d053 100755 --- a/build_w32.bat +++ b/build_w32.bat @@ -258,6 +258,7 @@ exit 1 :Success
echo %OUTDIR% build succeeded.
if exist Basic.mk copy /Y Basic.mk Makefile
+if not exist tests\config-flags.pm copy /Y tests\config-flags.pm.W32 tests\config-flags.pm
call :Reset
goto :EOF
|