diff options
author | Glenn Morris <rgm@gnu.org> | 2017-01-12 14:06:03 -0500 |
---|---|---|
committer | Glenn Morris <rgm@gnu.org> | 2017-01-12 14:06:03 -0500 |
commit | 3713c7a0621f4a5ae73e45c6d0d5c55b154611ad (patch) | |
tree | 57912f0616c4192d6ec6938222a4ee624a6e0ff4 | |
parent | d40073f017ffb3dee2266f356c127ef587c40b71 (diff) | |
download | emacs-3713c7a0621f4a5ae73e45c6d0d5c55b154611ad.tar.gz |
* autogen.sh: Simplify argument parsing.
-rwxr-xr-x | autogen.sh | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/autogen.sh b/autogen.sh index 8679db78fd5..cb2a9151afe 100755 --- a/autogen.sh +++ b/autogen.sh @@ -104,8 +104,7 @@ check_version () } do_check=true -do_autoconf=false -test $# -eq 0 && do_autoconf=true +do_autoconf=true do_git=false for arg; do @@ -113,14 +112,13 @@ for arg; do --help) exec echo "$0: usage: $0 [all|autoconf|git]";; --no-check) - do_check=false - test $# -eq 1 && do_autoconf=true;; + do_check=false;; all) - do_autoconf=true test -e .git && do_git=true;; autoconf) - do_autoconf=true;; + true;; git) + do_autoconf=false do_git=true;; *) echo >&2 "$0: $arg: unknown argument"; exit 1;; |