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 2ca7c6bdcb..573f8bf0e5 100755 --- a/win32/configure.bat +++ b/win32/configure.bat @@ -55,7 +55,7 @@ if "%1" == "--help" goto :help if "%opt:~0,1%" == "-" (
echo>>confargs.tmp %1 \
set witharg=
- ) else if "%witharg" == "" (
+ ) else if "%witharg%" == "" (
echo>>confargs.tmp %1 \
) else (
echo>>confargs.tmp ,%1\
|