--- ghc.mk	2012-06-06 17:18:40.112984188 +0200
+++ ghc.mk.new	2012-06-06 17:18:16.229986000 +0200
@@ -81,6 +81,7 @@
 # Catch make if it runs away into an infinite loop
 ifeq      "$(MAKE_RESTARTS)" ""
 else ifeq "$(MAKE_RESTARTS)" "1"
+else ifeq "$(MAKE_RESTARTS)" "2"
 else
 $(error Make has restarted itself $(MAKE_RESTARTS) times; is there a makefile bug?)
 endif