diff options
Diffstat (limited to 'test/plugin_concuerror.mk')
| -rw-r--r-- | test/plugin_concuerror.mk | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/plugin_concuerror.mk b/test/plugin_concuerror.mk index f1b9288..5bd4231 100644 --- a/test/plugin_concuerror.mk +++ b/test/plugin_concuerror.mk @@ -1,10 +1,10 @@ # Concuerror plugin. -CONCUERROR_TARGETS = $(call list_targets,concuerror) +concuerror_TARGETS = $(call list_targets,concuerror) -.PHONY: concuerror $(CONCUERROR_TARGETS) +.PHONY: concuerror $(concuerror_TARGETS) -concuerror: $(CONCUERROR_TARGETS) +concuerror: $(concuerror_TARGETS) concuerror-app: init |