From bb924bddcd3988d50b4cf2afbd8895e886a23520 Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Fri, 19 Sep 2008 17:46:51 +0000 Subject: [PATCH] Gix the ghcii script The ghc executable name doesn't have a version number on Windows, so don't put one in the script. --- driver/ghci/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/driver/ghci/Makefile b/driver/ghci/Makefile index 4f5538b..54bd246 100644 --- a/driver/ghci/Makefile +++ b/driver/ghci/Makefile @@ -21,7 +21,7 @@ GHCII_SCRIPT=$(DESTDIR)$(bindir)/ghcii.sh install:: $(RM) -f $(GHCII_SCRIPT) echo "#!$(SHELL)" >> $(GHCII_SCRIPT) - echo 'exec "$$0"/../ghc-$(ProjectVersion) --interactive $${1+"$$@"}' >> $(GHCII_SCRIPT) + echo 'exec "$$0"/../ghc --interactive $${1+"$$@"}' >> $(GHCII_SCRIPT) chmod +x $(GHCII_SCRIPT) else LINK = ghci -- 1.7.10.4