build: Fixes for Debian and /bin/sh == dash.
authorJan Nieuwenhuizen <janneke@gnu.org>
Thu, 3 May 2018 18:32:06 +0000 (20:32 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Thu, 3 May 2018 18:32:06 +0000 (20:32 +0200)
commitba17eeeefe7a9c760ee777f899854789299bb7b5
tree8c501dd1287134773408d98969b4d2a579d68d09
parentad88aaa5beae0aa54fbcd3760886d5c60fc849ea
build: Fixes for Debian and /bin/sh == dash.

* build.sh: Use separate export stanzas.  Use command -v (WAS: type
  -p).  Fixes sh, /bin/sh == dash.
* build-aux/build-cc.sh: Likewise.
* build-aux/build-guile.sh: Likewise.
* build-aux/build-mes.sh: Likewise.
* build-aux/build-mlibc.sh: Likewise.
* build-aux/cc-mes.sh: Likewise.
* build-aux/check-mescc.sh: Likewise.
* check.sh: Likewise.
* install.sh: Likewise.
* scripts/mescc: Likewise.
15 files changed:
.gitignore
GNUmakefile
build-aux/build-cc.sh
build-aux/build-guile.sh
build-aux/build-mes.sh
build-aux/build-mlibc.sh
build-aux/cc-mes.sh
build-aux/check-boot.sh
build-aux/check-mescc.sh
build-aux/test.sh
build.sh
check.sh
configure
install.sh
scripts/mescc