make gcc doesn't work if $SHELL is unexpected

diff --git a/include/Makefile b/include/Makefile
index 36df53de59c797b341030f406acc2013f56f13f3..6a223ffd321174049d26c90c6713ae3f988cd78f 100644 (file)
--- a/include/Makefile
+++ b/include/Makefile
@@ -15,4 +15,4 @@ install::
        @rm -f $(INC)/Makefile
 
 gcc: install
-       if [ -f $(MKHEADERS) ] ; then sh $(MKHEADERS) ; fi
+       SHELL=/bin/sh; if [ -f $(MKHEADERS) ] ; then sh -e $(MKHEADERS) ; fi