From cb0288fafa4ff36878d07b95f0776b2454281489 Mon Sep 17 00:00:00 2001
From: Jan Lindemann <jan@jannet.de>
Date: Wed, 15 Jun 2011 12:39:53 +0000
Subject: [PATCH] dirs.mk: Error out if an out-of-date prerequisite is detected

---
 make/dirs.mk | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/make/dirs.mk b/make/dirs.mk
index 7309b9b3..857715cf 100644
--- a/make/dirs.mk
+++ b/make/dirs.mk
@@ -30,6 +30,10 @@ distclean: dirs.clean dirs.distclean
 
 .PHONY: $(SUBDIRS_TO_ITERATE) all install clean distclean test
 
+%/dirs-all.done:
+	echo $@ needs to be rebuilt
+	exit 1
+
 dirs-%.done:
 	set -e; for d in $(SUBDIRS) ; do make -wC $$d $*; done
 	touch $@