summaryrefslogtreecommitdiff
path: root/.gitmodules
diff options
context:
space:
mode:
Diffstat (limited to '.gitmodules')
-rw-r--r--.gitmodules1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules
index b5e29b9e61..66f4f37d6d 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -118,6 +118,7 @@
path = utils/haddock
url = ../haddock.git
ignore = none
+ branch = ghc-head
[submodule "nofib"]
path = nofib
url = ../nofib.git