diff options
Diffstat (limited to 'win32/configure.bat')
-rwxr-xr-x | win32/configure.bat | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/win32/configure.bat b/win32/configure.bat index 671c456144..f8fc4f686b 100755 --- a/win32/configure.bat +++ b/win32/configure.bat @@ -16,6 +16,7 @@ if "%1" == "srcdir" goto :srcdir if "%1" == "--target" goto :target
if "%1" == "target" goto :target
if "%1" == "--with-static-linked-ext" goto :extstatic
+if "%1" == "--with-winsock2" goto :winsock2
if "%1" == "--program-suffix" goto :suffix
if "%1" == "--program-name" goto :progname
if "%1" == "--enable-install-doc" goto :enable-rdoc
@@ -60,6 +61,10 @@ goto :loop echo>> ~tmp~.mak "EXTSTATIC=static" \
shift
goto :loop
+:winsock2
+ echo>> ~tmp~.mak "USE_WINSOCK2=1" \
+ shift
+goto :loop
:enable-rdoc
echo>> ~tmp~.mak "RDOCTARGET=install-doc" \
shift
|