make fails if shell is not bash -- I will fix bashisms somewhere in the future

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