configure
changeset 9686 522d788d73f7
parent 9119 b3c7c5973771
child 9758 411958cd652d
--- a/configure	Tue Jul 22 22:36:07 2008 +0000
+++ b/configure	Tue Jul 22 22:44:41 2008 +0000
@@ -43,9 +43,15 @@
 	exit $?
 fi
 
+export SHOW_HELP="0"
+
 set_default
 detect_params "$@"
 check_params
+if [ "$SHOW_HELP" != "0" ]; then
+	showhelp
+	exit 0
+fi
 save_params
 make_cflags_and_ldflags