# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1189804384 0
# Node ID 9fc09fd403e7edc7fb9af74860db45cfbe583740
# Parent  6a0ee764a60a99816a48af51bf9d87778b0e0a54
Stop build if Makefile.in was changed.

diff -r 6a0ee764a60a -r 9fc09fd403e7 Makefile.in
--- a/Makefile.in	Fri Sep 14 19:30:56 2007 +0000
+++ b/Makefile.in	Fri Sep 14 21:13:04 2007 +0000
@@ -1,7 +1,12 @@
 # Makefile.in for building crosstool-NG
 # This file serves as source for the ./configure operation
 
-all: build
+all: Makefile build
+
+# Check if Makefile is up to date:
+Makefile: Makefile.in
+	@echo "$< did changed: you must re-run './configure'"
+	@false
 
 ###############################################################################
 # Configuration variables