From afbdd5533448724aaf32b434fda8478ad5d80a0f Mon Sep 17 00:00:00 2001 From: Eelco Dolstra Date: Fri, 5 Sep 2014 12:08:06 +0200 Subject: [PATCH] Hack to prevent Makefile.config from being regenerated by "make clean" --- templates.mk | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/templates.mk b/templates.mk index ab99168bb..c7ac7afbf 100644 --- a/templates.mk +++ b/templates.mk @@ -8,8 +8,12 @@ define instantiate-template endef +ifneq ($(MAKECMDGOALS), clean) + %.h: %.h.in $(trace-gen) rm -f $@ && ./config.status --quiet --header=$@ %: %.in $(trace-gen) rm -f $@ && ./config.status --quiet --file=$@ + +endif