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 /driver/ghci/ghc.mk | |
| 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 'driver/ghci/ghc.mk')
| -rw-r--r-- | driver/ghci/ghc.mk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/driver/ghci/ghc.mk b/driver/ghci/ghc.mk index 0f31884080..0e18a5fbbd 100644 --- a/driver/ghci/ghc.mk +++ b/driver/ghci/ghc.mk @@ -21,7 +21,7 @@ install_driver_ghci: $(INSTALL_DIR) "$(DESTDIR)$(bindir)" $(call removeFiles, "$(WRAPPER)") $(CREATE_SCRIPT) "$(WRAPPER)" - echo '#!$(SHELL)' >> "$(WRAPPER)" + echo '#!/bin/sh' >> "$(WRAPPER)" echo 'exec "$(bindir)/$(CrossCompilePrefix)ghc-$(ProjectVersion)" --interactive "$$@"' >> "$(WRAPPER)" $(EXECUTABLE_FILE) "$(WRAPPER)" $(call removeFiles,"$(DESTDIR)$(bindir)/$(CrossCompilePrefix)ghci") @@ -56,7 +56,7 @@ install_driver_ghcii: GHCII_SCRIPT_VERSIONED = $(DESTDIR)$(bindir)/ghcii-$(Proje install_driver_ghcii: $(INSTALL_DIR) "$(DESTDIR)$(bindir)" $(call removeFiles,"$(GHCII_SCRIPT)") - echo "#!$(SHELL)" >> $(GHCII_SCRIPT) + echo "#!/bin/sh" >> $(GHCII_SCRIPT) echo 'exec "$$(dirname "$$0")"/ghc --interactive "$$@"' >> $(GHCII_SCRIPT) $(EXECUTABLE_FILE) $(GHCII_SCRIPT) cp $(GHCII_SCRIPT) $(GHCII_SCRIPT_VERSIONED) |