blob: 00eeed367856caa91644efa80611823847e0e97a (
plain)
1
2
3
4
5
6
7
8
9
10
|
--- ghc.mk.orig 2012-06-06 18:10:25.000000000 +0100
+++ ghc.mk 2012-08-25 12:57:51.000000000 +0100
@@ -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
|