diff options
Diffstat (limited to 'win32/configure.bat')
-rwxr-xr-x | win32/configure.bat | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/win32/configure.bat b/win32/configure.bat index b36024371c..f4f24a5ed7 100755 --- a/win32/configure.bat +++ b/win32/configure.bat @@ -18,7 +18,9 @@ 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" == "--program-name" goto :installname
+if "%1" == "--install-name" goto :installname
+if "%1" == "--so-name" goto :soname
if "%1" == "--enable-install-doc" goto :enable-rdoc
if "%1" == "--disable-install-doc" goto :disable-rdoc
if "%1" == "--extout" goto :extout
|