diff options
-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 0169e37ecb..57433c137b 100755 --- a/win32/configure.bat +++ b/win32/configure.bat @@ -198,7 +198,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 |