From 5519b8718699f940068254bb08913210525dd59e Mon Sep 17 00:00:00 2001
From: Ben Gras <ben@minix3.org>
Date: Fri, 31 Mar 2006 22:26:42 +0000
Subject: [PATCH] make gcc doesn't work if $SHELL is unexpected

---
 include/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/include/Makefile b/include/Makefile
index 36df53de5..6a223ffd3 100644
--- 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