Commit 3388ec10 authored by Ian Lynagh's avatar Ian Lynagh

Add a $(MAKE_RESTARTS) check to ghc.mk

This should catch make going into an infinite loop.
parent e946a8b1
......@@ -85,6 +85,14 @@
default : all
# 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
# Just bring makefiles up to date:
.PHONY: just-makefiles
just-makefiles:
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment