From 6a2a21971ae1a29bf296ecc8652f7cb86b71e7bb Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Fri, 2 Oct 2009 15:22:46 +0000 Subject: [PATCH] Use INSTALL_DIR, not MKDIRHIER, when installing --- driver/ghci/ghc.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/driver/ghci/ghc.mk b/driver/ghci/ghc.mk index 9abccc3..a80737b 100644 --- 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) -- 1.7.10.4