From 175f80c4c1826b7a77417bfbc804348988eb85d3 Mon Sep 17 00:00:00 2001 From: David Bremner Date: Fri, 12 Oct 2018 20:51:45 -0300 Subject: [PATCH] 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. --- debian/changelog | 7 +++++++ debian/rules | 2 +- 2 files changed, 8 insertions(+), 1 deletion(-) 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 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 \ -- 2.43.0