diff options
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/ghci/ghc.mk | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/driver/ghci/ghc.mk b/driver/ghci/ghc.mk index a80737bccd..eb4115f975 100644 --- a/driver/ghci/ghc.mk +++ b/driver/ghci/ghc.mk @@ -17,14 +17,14 @@ install: install_driver_ghci .PHONY: install_driver_ghci install_driver_ghci: WRAPPER=$(DESTDIR)$(bindir)/ghci-$(ProjectVersion) install_driver_ghci: - $(INSTALL_DIR) $(DESTDIR)$(bindir) - "$(RM)" $(RM_OPTS) $(WRAPPER) - $(CREATE_SCRIPT) $(WRAPPER) - echo '#!$(SHELL)' >> $(WRAPPER) - echo 'exec $(bindir)/ghc-$(ProjectVersion) --interactive $${1+"$$@"}' >> $(WRAPPER) - $(EXECUTABLE_FILE) $(WRAPPER) - "$(RM)" $(RM_OPTS) $(DESTDIR)$(bindir)/ghci - $(LN_S) ghci-$(ProjectVersion) $(DESTDIR)$(bindir)/ghci + $(INSTALL_DIR) "$(DESTDIR)$(bindir)" + "$(RM)" $(RM_OPTS) "$(WRAPPER)" + $(CREATE_SCRIPT) "$(WRAPPER)" + echo '#!$(SHELL)' >> "$(WRAPPER)" + echo 'exec "$(bindir)/ghc-$(ProjectVersion)" --interactive $${1+"$$@"}' >> "$(WRAPPER)" + $(EXECUTABLE_FILE) "$(WRAPPER)" + "$(RM)" $(RM_OPTS) "$(DESTDIR)$(bindir)/ghci" + $(LN_S) ghci-$(ProjectVersion) "$(DESTDIR)$(bindir)/ghci" else # Windows... |