From c0f4b573f8a334c3e946737920764831d5dc1e1f Mon Sep 17 00:00:00 2001 From: "Yann E. MORIN\"" Date: Fri, 14 Sep 2007 21:13:04 +0000 Subject: Stop build if Makefile.in was changed. 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 -- cgit v0.10.2-6-g49f6