+
+TEMP=`getopt -o rn --long rebuild,no-gen \
+ -n 'genmake' -- "$@"`
+
+if [ $? != 0 ] ; then echo "Terminating..." >&2 ; exit 1 ; fi
+
+# Note the quotes around `$TEMP': they are essential!
+eval set -- "$TEMP"
+
+opt_rebuild=false
+opt_generate=true
+
+while true ; do
+ case "$1" in
+ -r|--rebuild) opt_rebuild=true ; shift ;;
+ -n|--no-gen) opt_generate=false ; shift ;;
+ --) shift ; break ;;
+ *) shift ;; # Ignore
+ esac
+done
+
+if [ false == $opt_rebuild -o ! -d "build" ] ; then
+ rm -rf build
+ mkdir build
+fi