* autogen.sh: Port to dash (Bug#22556).

This commit is contained in:
Paul Eggert 2016-02-05 13:45:11 -08:00
parent 05570f0002
commit f8a8da2535

View file

@ -104,9 +104,10 @@ check_version ()
}
do_autoconf=false
test $# -eq 0 && do_autoconf=true
do_git=false
for arg in ${*-autoconf}; do
for arg; do
case $arg in
--help)
exec echo "$0: usage: $0 [all|autoconf|git]";;