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 98b2417d9c..6036c0a49b 100755 --- a/win32/configure.bat +++ b/win32/configure.bat @@ -222,7 +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 --with-out-dir=DIR-LIST add optional headers and libraries directories separated by `;'
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
|