From: Roland Hieber Date: Wed, 25 Feb 2009 02:49:00 +0000 (+0100) Subject: make fails if shell is not bash -- I will fix bashisms somewhere in the future X-Git-Tag: REL_9.02.25~1 X-Git-Url: https://git.rohieb.name/iserv-mod-room-reservation.git/commitdiff_plain/b5b917aab80a198f52b15b454c0f34c26ac5ab17 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 --- a/Makefile +++ b/Makefile @@ -24,6 +24,7 @@ # THE SOFTWARE. # +SHELL=/bin/bash DESTDIR?= LN=ln -f RM=rm -rf