diff options
author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2014-09-05T10·08+0200 |
---|---|---|
committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2014-09-05T10·08+0200 |
commit | afbdd5533448724aaf32b434fda8478ad5d80a0f (patch) | |
tree | 0471b5b4e4e0e6c5308ef2baa94b5f609c22a4b5 | |
parent | 22c900da082aea1d6615cfa36cb1d0591ffff139 (diff) |
Hack to prevent Makefile.config from being regenerated by "make clean"
-rw-r--r-- | templates.mk | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/templates.mk b/templates.mk index ab99168bb7a5..c7ac7afbff27 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 |