configure.sh: Cleanup argument parsing. Thanks, Timothy!
authorJan Nieuwenhuizen <janneke@gnu.org>
Tue, 1 Oct 2019 17:12:56 +0000 (19:12 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Tue, 1 Oct 2019 17:12:56 +0000 (19:12 +0200)
commit558d9cc60cc479f23309b62ec1b8ac401ef85f1f
tree5ab8e63979f5643124698f8406aa8a966079e3c5
parent5fe043230109f598db1c769d351a54f13ab53be9
configure.sh: Cleanup argument parsing. Thanks, Timothy!

* configure.sh: Cleanup argument parsing.
configure.sh