summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
34e0782)
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.
+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.
notmuch (0.28-1) unstable; urgency=medium
* New upstream releases.
dh $@ --with python2,python3,elpa
override_dh_auto_configure:
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 \
--libdir=/usr/lib/$$(dpkg-architecture -q DEB_TARGET_MULTIARCH) \
--includedir=/usr/include \
--mandir=/usr/share/man \