diff options
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/ghci/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/driver/ghci/Makefile b/driver/ghci/Makefile index 2b15d94ed5..cdc4d4e519 100644 --- a/driver/ghci/Makefile +++ b/driver/ghci/Makefile @@ -23,8 +23,8 @@ INSTALL_PROGS += $(C_PROG) GHCII_SCRIPT=$(bindir)/ghcii.sh install:: $(RM) -f $(GHCII_SCRIPT) - echo "#!$(SHELL)" >> $(GHCII_SCRIPT) - echo 'exec "$0"/../ghc --interactive $${1+"$$@"}' >> $(GHCII_SCRIPT) + echo "#!$(SHELL)" >> $(GHCII_SCRIPT) + echo 'exec "$$0"/../ghc --interactive $${1+"$$@"}' >> $(GHCII_SCRIPT) else LINK = ghci LINK_TARGET = $(LINK)-$(ProjectVersion) |