Adding the help option back to configure. Somehow it was removed.

qilicun · Jun 25, 2012 · f73e5ca · f73e5ca
1 parent 9965e3f
commit f73e5ca
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/configure b/configure
@@ -104,6 +104,11 @@ while [ $# -gt 0 ]
   shift
 done
 
+if [ $print_help ]; then
+  print_help;
+fi
+
+
 if [ $run_cleanup ]; then
   run_cleanup
 fi