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