configure.sh: Remove bashisms.
authorJan Nieuwenhuizen <janneke@gnu.org>
Mon, 16 Sep 2019 19:12:56 +0000 (21:12 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Mon, 16 Sep 2019 19:12:56 +0000 (21:12 +0200)
commit5fe043230109f598db1c769d351a54f13ab53be9
treef90d17c74783022651aa025d3f06a36bad0d2f52
parentdb9e6d7d8a599ab012649b5668a0eeced730eab5
configure.sh: Remove bashisms.

* configure.sh: Remove bashisms.  Fixes running with Gash 0.1.
configure.sh