diff options
Diffstat (limited to 'driver/ghci')
| -rw-r--r-- | driver/ghci/ghc.mk | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/driver/ghci/ghc.mk b/driver/ghci/ghc.mk index 88c084d442..9abccc368a 100644 --- a/driver/ghci/ghc.mk +++ b/driver/ghci/ghc.mk @@ -17,8 +17,9 @@ install: install_driver_ghci .PHONY: install_driver_ghci install_driver_ghci: WRAPPER=$(DESTDIR)$(bindir)/ghci-$(ProjectVersion) install_driver_ghci: - "$(MKDIRHIER)" $(DESTDIR)$(bindir) + $(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) |