Add SHELL=bash debian/rules for benefit of systems with rubbish default

shells.

diff --git a/debian/rules b/debian/rules
index e3fe1c9abdc92d7bb0e4549ed12a90644f972923..620c77564d7ef2ac2b5d176bfa76ec3ef2841a54 100755 (executable)
--- a/debian/rules
+++ b/debian/rules
@@ -60,6 +60,8 @@ SENDMAIL=/usr/sbin/sendmail
 LIBTOOL=./libtool
 FAKEROOT=fakeroot
 
 LIBTOOL=./libtool
 FAKEROOT=fakeroot
 

+SHELL=bash
+

 # ./prepare is the script that generates configure etc.  It only needs to be
 # run if building from a checkout rather than a tarball.
 build:
 # ./prepare is the script that generates configure etc.  It only needs to be
 # run if building from a checkout rather than a tarball.
 build: