@@ -51,7 +51,7 @@ install : install_driver_ghcii install_driver_ghcii: GHCII_SCRIPT=$(DESTDIR)$(bindir)/ghcii.sh install_driver_ghcii: GHCII_SCRIPT_VERSIONED = $(DESTDIR)$(bindir)/ghcii-$(ProjectVersion).sh install_driver_ghcii: - "$(MKDIRHIER)" $(DESTDIR)$(bindir) + $(INSTALL_DIR) $(DESTDIR)$(bindir) "$(RM)" $(RM_OPTS) $(GHCII_SCRIPT) echo "#!$(SHELL)" >> $(GHCII_SCRIPT) echo 'exec "$$0"/../ghc --interactive $${1+"$$@"}' >> $(GHCII_SCRIPT) driver/ghci/ghc.mk de5e4aadd63d6d67285125a17375d0e1516ca519 Ian Lynagh igloo@earth.li http://github.com/ghc-hq/ghc/commit/dda86a26e5c010551b70eaa9b1bc405a2b32563a dda86a26e5c010551b70eaa9b1bc405a2b32563a 2009-10-02T08:22:46-07:00 2009-10-02T08:22:46-07:00 Use INSTALL_DIR, not MKDIRHIER, when installing 6cc0a05f76200bae065600318ccf8ddcde3e1e1b Ian Lynagh igloo@earth.li