Re: fix bash autoconfiguration

2019-01-16 Thread Tomi Ollila
On Wed, Jan 16 2019, David Bremner wrote: > Testing by people running with /bin/sh = bash welcome. The bug shows > up as a shebang of /bin/sh in /usr/bin/notmuch-emacs-mua LGTM Tomi ___ notmuch mailing list notmuch@notmuchmail.org https://notmuchmail.

fix bash autoconfiguration

2019-01-16 Thread David Bremner
Testing by people running with /bin/sh = bash welcome. The bug shows up as a shebang of /bin/sh in /usr/bin/notmuch-emacs-mua ___ notmuch mailing list notmuch@notmuchmail.org https://notmuchmail.org/mailman/listinfo/notmuch

[PATCH 2/2] Debian: use new variable to force bash location

2019-01-16 Thread David Bremner
This should no longer be needed on the official debian autobuilders, but it might help others with merged /usr build environments. --- debian/rules | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/debian/rules b/debian/rules index c8ecb1ac..d056edb6 100755 --- a/debian/rules +++

[PATCH 1/2] configure: don't use special variable BASH

2019-01-16 Thread David Bremner
bash, in it's wisdom, sets that variable when invoked as /bin/sh, but then doesn't act as bash, at least not to the degree we need to run scripts. --- configure | 8 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/configure b/configure index b2200be0..ea22587b 100755 --- a/c