changeset 10059 | 7a8d30d55bdc |
parent 9962 | f23744f8873c |
child 10220 | 64461831f72d |
--- a/configure Tue Sep 02 15:56:31 2008 +0000 +++ b/configure Tue Sep 02 15:59:21 2008 +0000 @@ -43,17 +43,9 @@ exit $? fi -# 'export SHOW_HELP="0"' doesn't work on some systems -SHOW_HELP="0" -export SHOW_HELP - set_default detect_params "$@" check_params -if [ "$SHOW_HELP" != "0" ]; then - showhelp - exit 0 -fi save_params make_cflags_and_ldflags