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 b7a70d1007..98c8af3d65 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
|