diff options
Diffstat (limited to 'win32/configure.bat')
-rwxr-xr-x | win32/configure.bat | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/win32/configure.bat b/win32/configure.bat index 7246362372..98b2417d9c 100755 --- a/win32/configure.bat +++ b/win32/configure.bat @@ -222,6 +222,7 @@ goto :loop ; echo --with-static-linked-ext link external modules statically
echo --with-ext="a,b,..." use extensions a, b, ...
echo --without-ext="a,b,..." ignore extensions a, b, ...
+ echo --with-out-dir=DIR-LIST add optional headers and libraries directories separated by $PATH_SEPARATOR
echo --disable-install-doc do not install rdoc indexes during install
echo --with-ntver=0xXXXX target NT version (shouldn't use with old SDK)
del *.tmp
|