Don't use $SHELL in wrapper scripts
authorJoachim Breitner <nomeata@debian.org>
Tue, 1 Aug 2017 19:30:09 +0000 (19:30 +0000)
committerBen Gamari <ben@smart-cactus.org>
Thu, 26 Oct 2017 23:12:54 +0000 (19:12 -0400)
commita10c2e6e9e9af3addbf91c0bb374257fb6c72553
tree82cadc307ede041fb777d7052b239ec2a4eecd4a
parent9ae24bb615416b3e8d972d45ebe3dd281242d213
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.
driver/ghci/ghc.mk
rules/shell-wrapper.mk
utils/mkdirhier/ghc.mk