diff options
Diffstat (limited to 'bootstrap')
-rwxr-xr-x | bootstrap | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -17,7 +17,7 @@ top_srcdir=`dirname $0` verbose=""; quiet="false" -mode="generate" +mode="autoreconf" usage() { @@ -89,6 +89,9 @@ case $1 in -r|--re|--rec|--reco|--recon|--reconf) mode="autoreconf"; shift;; +-g|--ge|--gen|--gene|--gener|--genera|--generat|--generate) + mode="generate"; + shift;; -*) echo "unknown option $1" ; usage ;; *) echo "invalid parameter $1" ; |