summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2007-09-14 21:13:04 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2007-09-14 21:13:04 (GMT)
commitc0f4b573f8a334c3e946737920764831d5dc1e1f (patch)
tree1dd089faf482c64201f17ea1c6da233b4b3f7b76
parent26647ee5644316a0f2d4b2f51ab9bdd102dbb5b0 (diff)
Stop build if Makefile.in was changed.
-rw-r--r--Makefile.in7
1 files changed, 6 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in
index 402e3ee..a85997c 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -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