diff options
Diffstat (limited to 'win32/configure.bat')
-rwxr-xr-x | win32/configure.bat | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/win32/configure.bat b/win32/configure.bat index 2d63e5a589..6910f561dd 100755 --- a/win32/configure.bat +++ b/win32/configure.bat @@ -179,7 +179,6 @@ goto :loop echo --with-ext="a,b,..." use extensions a, b, ...
echo --without-ext="a,b,..." ignore extensions a, b, ...
echo --disable-install-doc do not install rdoc indexes during install
- echo --disable-win95 disable win95 support
echo --with-ntver=0xXXXX target NT version (shouldn't use with old SDK)
del *.tmp
del ~tmp~.mak
|