diff options
author | Joachim Breitner <nomeata@debian.org> | 2017-08-01 19:30:09 +0000 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2017-10-26 19:12:54 -0400 |
commit | a10c2e6e9e9af3addbf91c0bb374257fb6c72553 (patch) | |
tree | 82cadc307ede041fb777d7052b239ec2a4eecd4a /utils | |
parent | 9ae24bb615416b3e8d972d45ebe3dd281242d213 (diff) | |
download | haskell-a10c2e6e9e9af3addbf91c0bb374257fb6c72553.tar.gz |
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.
Diffstat (limited to 'utils')
-rw-r--r-- | utils/mkdirhier/ghc.mk | 2 |
1 files changed, 1 insertions, 1 deletions
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) $@ |