Use INSTALL_DIR, not MKDIRHIER, when installing

diff --git a/driver/ghci/ghc.mk b/driver/ghci/ghc.mk
index 9abccc3..a80737b 100644 (file)
--- a/driver/ghci/ghc.mk
+++ b/driver/ghci/ghc.mk
@@ -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)