diff -r 2f7b676c7b2f -r 9fc09fd403e7 Makefile.in
--- a/Makefile.in	Fri Sep 14 17:43:16 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