build: Debian make check and install fixes.
authorJan (janneke) Nieuwenhuizen <janneke@gnu.org>
Wed, 15 May 2019 13:18:38 +0000 (15:18 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Wed, 15 May 2019 13:18:38 +0000 (15:18 +0200)
commit9f4a4e47b23fa420b613f8d6a11d72f1a9a5efca
treea4b8b9030e55f372882885e5da68a8ce1e57b4f7
parente66f16aeb635e8d288ad7e8342c84365f3b8a4de
build: Debian make check and install fixes.

* configure (main): Oops, typo: mandir uses --infodir.
* build-aux/check.sh.in: Run check-mescc.sh with bash.
* build-aux/config.sh (CFLAGS, CPPFLAGS, HEX2FLAGS, LDFLAGS, M1FLAGS):
unset.
* build-aux/install.sh.in: Use BASHOPTS to check for bash; on Debian
dash is used and has $SHELL=/bin/bash.  Use ${DESTDIR}@...
build-aux/check-mescc.sh
build-aux/check.sh.in
build-aux/config.sh
build-aux/install.sh.in
configure