diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2007-09-14 21:13:04 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2007-09-14 21:13:04 (GMT) |
commit | c0f4b573f8a334c3e946737920764831d5dc1e1f (patch) | |
tree | 1dd089faf482c64201f17ea1c6da233b4b3f7b76 | |
parent | 26647ee5644316a0f2d4b2f51ab9bdd102dbb5b0 (diff) |
Stop build if Makefile.in was changed.
-rw-r--r-- | Makefile.in | 7 |
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 |