debian/notmuch
1
0
Fork 0
mirror of https://git.notmuchmail.org/git/notmuch synced 2024-12-22 17:34:54 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

debian: override location of bash

Browse source 
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.
This commit is contained in:
David Bremner 2018-10-12 20:51:45 -03:00
parent 34e0782bf2
commit 175f80c4c1
2 changed files with 8 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
debian/changelog vendored
View file

@ -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 notmuch (0.28-1) unstable; urgency=medium
* New upstream releases. * New upstream releases.

2
debian/rules vendored
View file

@ -6,7 +6,7 @@ python3_all = py3versions -s | xargs -n1 | xargs -t -I {} env {}
dh $@ --with python2,python3,elpa dh $@ --with python2,python3,elpa
override_dh_auto_configure: override_dh_auto_configure:
./configure --prefix=/usr \ BASH=/bin/bash ./configure --prefix=/usr \
--libdir=/usr/lib/$$(dpkg-architecture -q DEB_TARGET_MULTIARCH) \ --libdir=/usr/lib/$$(dpkg-architecture -q DEB_TARGET_MULTIARCH) \
--includedir=/usr/include \ --includedir=/usr/include \
--mandir=/usr/share/man \ --mandir=/usr/share/man \