diff options
| author | David Bremner <david@tethera.net> | 2018-10-12 20:51:45 -0300 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2018-10-12 20:54:30 -0300 |
| commit | 175f80c4c1826b7a77417bfbc804348988eb85d3 (patch) | |
| tree | 49170f3d465c4580dd2e4769f56c79f4700e4d25 /debian/rules | |
| parent | 34e0782bf235bd33b6c127c494c0ad6fdcb71a55 (diff) | |
debian: override location of bashdebian/0.28-2archive/debian/0.28-2
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.
Diffstat (limited to 'debian/rules')
| -rwxr-xr-x | debian/rules | 2 |
1 files changed, 1 insertions, 1 deletions
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 \ |