From 341e99a17daad664c9cc611bfcdb1b7074390a08 Mon Sep 17 00:00:00 2001 From: Peter Verthez Date: Sat, 26 Oct 2002 16:00:51 +0000 Subject: [PATCH] Added some status messages. --- Makefile.inc | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Makefile.inc b/Makefile.inc index aa01812..fcd0a78 100644 --- a/Makefile.inc +++ b/Makefile.inc @@ -14,12 +14,14 @@ endef %.tabgen.h: %.tab.h if [ ! -r $(srcdir)/$@ ] ; \ then \ + echo "Creating empty file for $@"; \ touch $(srcdir)/$@; \ fi if diff $< $(srcdir)/$@ > /dev/null 2>&1; \ then \ : ; \ else \ + echo "Updating $@"; \ rm $(srcdir)/$@; \ cp $(srcdir)/$< $(srcdir)/$@; \ fi -- 2.30.2