From: David Bremner <david@tethera.net>
Date: Fri, 12 Oct 2018 23:51:45 +0000 (-0300)
Subject: debian: override location of bash
X-Git-Tag: archive/debian/0.28-2^0
X-Git-Url: https://git.notmuchmail.org/git?p=notmuch;a=commitdiff_plain;h=175f80c4c1826b7a77417bfbc804348988eb85d3

debian: override location of bash

Yes, a build chroot can have /usr/bin/bash, thanks to usrmerge, but we
can't depend on it existing in the user's system.
---

diff --git a/debian/changelog b/debian/changelog
index e8322657..8f37ef3a 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+notmuch (0.28-2) unstable; urgency=medium
+
+  * Override location of bash, because /usr/bin/bash might exist
+    thanks to usrmerge.
+
+ -- David Bremner <bremner@debian.org>  Fri, 12 Oct 2018 20:54:00 -0300
+
 notmuch (0.28-1) unstable; urgency=medium
 
   * New upstream releases.
diff --git a/debian/rules b/debian/rules
index 99d80785..c8ecb1ac 100755
--- a/debian/rules
+++ b/debian/rules
@@ -6,7 +6,7 @@ python3_all = py3versions -s | xargs -n1 | xargs -t -I {} env {}
 	dh $@ --with python2,python3,elpa
 
 override_dh_auto_configure:
-	./configure --prefix=/usr \
+	BASH=/bin/bash	./configure --prefix=/usr \
 		--libdir=/usr/lib/$$(dpkg-architecture -q DEB_TARGET_MULTIARCH) \
 		--includedir=/usr/include \
 		--mandir=/usr/share/man \