From b5b917aab80a198f52b15b454c0f34c26ac5ab17 Mon Sep 17 00:00:00 2001
From: Roland Hieber <devnull@localhost>
Date: Wed, 25 Feb 2009 03:49:00 +0100
Subject: [PATCH] make fails if shell is not bash -- I will fix bashisms
 somewhere in the future

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index 6026304..75748b9 100644
--- a/Makefile
+++ b/Makefile
@@ -24,6 +24,7 @@
 # THE SOFTWARE.
 #
 
+SHELL=/bin/bash
 DESTDIR?=
 LN=ln -f
 RM=rm -rf
-- 
2.20.1