# HG changeset patch
# User erikj
# Date 1359971618 -3600
# Node ID e5d837c6e999fde9a972de0d64f1d47612102969
# Parent  9a1066ec78bee6b67874794a75fc036ffe491ba1
8007093: build-infra: Make should fail if spec is older than configure files
Reviewed-by: tbell

diff -r 9a1066ec78be -r e5d837c6e999 common/makefiles/Main.gmk
--- 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