Mini-mode now hides/shows tab group widget and has a separate label

[disorder] / debian / rules

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
 
+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: