diff options
Diffstat (limited to 'driver/ghci')
| -rw-r--r-- | driver/ghci/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/driver/ghci/Makefile b/driver/ghci/Makefile index 8a282af416..2c118faf2b 100644 --- a/driver/ghci/Makefile +++ b/driver/ghci/Makefile @@ -22,6 +22,7 @@ install:: $(RM) -f $(GHCII_SCRIPT) echo "#!$(SHELL)" >> $(GHCII_SCRIPT) echo 'exec "$$0"/../ghc --interactive $${1+"$$@"}' >> $(GHCII_SCRIPT) + chmod +x $(GHCII_SCRIPT) else LINK = ghci LINK_TARGET = $(LINK)-$(ProjectVersion) |