common/makefiles/Main.gmk
changeset 15579 41ae6f50d18d
parent 15577 0ed5f9a7f454
parent 15395 e5d837c6e999
child 15587 c9c8462e0bc3
--- a/common/makefiles/Main.gmk	Tue Feb 12 09:27:48 2013 -0800
+++ b/common/makefiles/Main.gmk	Wed Feb 13 11:21:14 2013 -0800
@@ -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