From a10c2e6e9e9af3addbf91c0bb374257fb6c72553 Mon Sep 17 00:00:00 2001
From: Joachim Breitner <nomeata@debian.org>
Date: Tue, 1 Aug 2017 19:30:09 +0000
Subject: Don't use $SHELL in wrapper scripts

Do not use $SHELL as $SHELL is the user's preferred interactive shell.
We do not want this to leak into the wrapper scripts.
---
 utils/mkdirhier/ghc.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'utils/mkdirhier')

diff --git a/utils/mkdirhier/ghc.mk b/utils/mkdirhier/ghc.mk
index 55803f0007..2e3a301c9a 100644
--- a/utils/mkdirhier/ghc.mk
+++ b/utils/mkdirhier/ghc.mk
@@ -14,7 +14,7 @@ $(MKDIRHIER) : utils/mkdirhier/mkdirhier.sh
 	mkdir -p $(INPLACE_BIN)
 	mkdir -p $(INPLACE_LIB)
 	$(call removeFiles,$@)
-	echo '#!$(SHELL)'  		 >> $@
+	echo '#!/bin/sh'  		 >> $@
 	cat utils/mkdirhier/mkdirhier.sh >> $@
 	$(EXECUTABLE_FILE) $@
 
-- 
cgit v1.2.1