diff options
-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 |