diff options
Diffstat (limited to 'win32/configure.bat')
-rwxr-xr-x | win32/configure.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/win32/configure.bat b/win32/configure.bat index 288527cd48..40c1ccc01b 100755 --- a/win32/configure.bat +++ b/win32/configure.bat @@ -191,7 +191,7 @@ goto :exit :end echo>> ~tmp~.mak WIN32DIR=$(@D:\=/) echo.>>confargs.tmp -echo>confargs.c #define $ $$ +echo>confargs.c #define $ $$ echo>>confargs.c !ifndef CONFIGURE_ARGS type>>confargs.c confargs.tmp echo>>confargs.c configure_args = CONFIGURE_ARGS |