diff options
| author |  Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-04-22 13:24:21 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-04-22 13:25:55 +0200 |
| commit | 2ded83ebfd958fd8187c11d4dec26af9d69e083c (patch) | |
| tree | 0b0e495c8b86f9596cfe60448f3ea5e154f2747f /test-suite/Makefile | |
| parent | dfbf22a098e8e2890d2e10da5d669d9960ef6771 (diff) | |
test suite Makefile: do not use %.stamp for subsystem targets
Diffstat (limited to 'test-suite/Makefile')
| -rw-r--r-- | test-suite/Makefile | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/test-suite/Makefile b/test-suite/Makefile index 8239600b1..e0e264b20 100644 --- a/test-suite/Makefile +++ b/test-suite/Makefile @@ -116,9 +116,9 @@ bugs: $(BUGS) clean: rm -f trace .lia.cache - $(SHOW) "RM <**/*.stamp> <**/*.vo> <**/*.vio> <**/*.log>" + $(SHOW) "RM <**/*.vo> <**/*.vio> <**/*.log>" $(HIDE)find . \( \ - -name '*.stamp' -o -name '*.vo' -o -name '*.vio' -o -name '*.log' \ + -name '*.vo' -o -name '*.vio' -o -name '*.log' \ \) -print0 | xargs -0 rm -f distclean: clean @@ -128,12 +128,10 @@ distclean: clean # Per-subsystem targets ####################################################################### -define mkstamp -$(1): $(1).stamp ; @true -$(1).stamp: $(patsubst %.v,%.v.log,$(wildcard $(1)/*.v)) ; \ - $(HIDE)touch $$@ +define vdeps +$(1): $(patsubst %.v,%.v.log,$(wildcard $(1)/*.v)) endef -$(foreach S,$(VSUBSYSTEMS),$(eval $(call mkstamp,$(S)))) +$(foreach S,$(VSUBSYSTEMS),$(eval $(call vdeps,$(S)))) ####################################################################### # Summary |