Make sure the shell is bash!

diff --git a/makefile b/makefile
index bda4406d8747d10df62379ed187cda30c907c8a9..ce70b5559424b2143183ee395fd32c0b5ede7890 100644 (file)
--- a/makefile
+++ b/makefile
@@ -1,3 +1,5 @@
+SHELL :=$(shell which bash 2>/dev/null)
+
 ifndef PKG_TARG
 target :=
 else