diff options
-rwxr-xr-x | configure | 4 |
1 files changed, 1 insertions, 3 deletions
@@ -56,7 +56,7 @@ show_help(){ echo echo "Standard options:" echo " --help print this message" - echo " --log[=FILE|yes|no] log tests and output to FILE [config.err]" + echo " --log=<FILE|yes|no> log tests and output to FILE [config.err]" echo " --prefix=PREFIX install in PREFIX [$PREFIX]" echo " --libdir=DIR install libs in DIR [PREFIX/lib]" echo " --shlibdir=DIR install shared libs in DIR [PREFIX/lib]" @@ -990,8 +990,6 @@ show_list() { for opt do optval="${opt#*=}" case "$opt" in - --log) - ;; --log=*) logging="$optval" ;; --prefix=*) PREFIX="$optval" |