From b51dd448e05f28eff64906bffb5f43a4fc37407a Mon Sep 17 00:00:00 2001
From: Ian Lynagh <igloo@earth.li>
Date: Mon, 17 Dec 2007 19:57:34 +0000
Subject: [PATCH] Make ghcii.sh executable

---
 driver/ghci/Makefile |    1 +
 1 file changed, 1 insertion(+)

diff --git a/driver/ghci/Makefile b/driver/ghci/Makefile
index 8a282af..2c118fa 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)
-- 
1.7.10.4