Stop build if Makefile.in was changed.
author"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Fri Sep 14 21:13:04 2007 +0000 (2007-09-14)
changeset 3829fc09fd403e7
parent 381 6a0ee764a60a
child 383 f00eb97ff649
Stop build if Makefile.in was changed.
Makefile.in
     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