build: Use bash if available to avoid dash problems.
authorJan Nieuwenhuizen <janneke@gnu.org>
Tue, 25 Jun 2019 19:40:43 +0000 (21:40 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Tue, 25 Jun 2019 19:40:43 +0000 (21:40 +0200)
commit1ba8bf539a111ededd97e9b8e68a659c57b6ee14
treefa4b482c9d409259162de0d4fd30856d77295872
parent06a85ca9e033f7e6f10599fc2b2192aa9fe048c3
build: Use bash if available to avoid dash problems.

* configure: Set SHELL to bash.
* configure.sh: Likewise.
* build-aux/test-suite.sh (TEST_LOGS):
* build-aux/export.make: Export SHELL.
* build-aux/config.sh.in (SHELL): New substitute, export.
* build-aux/config.make.in (SHELL): New substitute.
* build-aux/GNUmakefile.in (build, check, install, uninstall): Use
$SHELL to avoid dash problems.
* build-aux/check-mescc.sh: Likewise.
* build-aux/build.sh.in: Likewise.
* build-aux/check-mes.sh: Likewise.
* build-aux/check.sh.in: Likewise.
build-aux/GNUmakefile.in
build-aux/build.sh.in
build-aux/check-mes.sh
build-aux/check-mescc.sh
build-aux/check.sh.in
build-aux/config.make.in
build-aux/config.sh.in
build-aux/export.make
build-aux/test-suite.sh
configure
configure.sh