diff --git a/configure b/configure index 7e80f1f4ebed2d17a0c9e1298688fbd04a7b7440..de7446c920a6359b2f3bda082dfebe4a6d6ffc27 100755 --- a/configure +++ b/configure @@ -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"