Stop build if Makefile.in was changed.
1.1 --- a/Makefile.in Fri Sep 14 19:30:56 2007 +0000
1.2 +++ b/Makefile.in Fri Sep 14 21:13:04 2007 +0000
1.3 @@ -1,7 +1,12 @@
1.4 # Makefile.in for building crosstool-NG
1.5 # This file serves as source for the ./configure operation
1.6
1.7 -all: build
1.8 +all: Makefile build
1.9 +
1.10 +# Check if Makefile is up to date:
1.11 +Makefile: Makefile.in
1.12 + @echo "$< did changed: you must re-run './configure'"
1.13 + @false
1.14
1.15 ###############################################################################
1.16 # Configuration variables