common/makefiles/Main.gmk
changeset 15395 e5d837c6e999
parent 15060 b735cc083a72
child 15579 41ae6f50d18d
--- a/common/makefiles/Main.gmk	Fri Feb 01 11:22:41 2013 +0100
+++ b/common/makefiles/Main.gmk	Mon Feb 04 10:53:38 2013 +0100
@@ -75,7 +75,14 @@
   all: overlay-images
 endif
 
-start-make:
+# Setup a rule for SPEC file that fails if executed. This check makes sure the configuration
+# is up to date after changes to configure
+$(SPEC): $(wildcard $(SRC_ROOT)/common/autoconf/*)
+	@$(ECHO) ERROR: $(SPEC) is not up to date
+	@$(ECHO) Please rerun configure!
+	@if test "x$(IGNORE_OLD_CONFIG)" != "xtrue"; then exit 1; fi
+
+start-make: $(SPEC)
 	@$(call AtMakeStart)
 
 langtools: langtools-only