summaryrefslogtreecommitdiff
path: root/tests/local.mk
diff options
context:
space:
mode:
Diffstat (limited to 'tests/local.mk')
-rw-r--r--tests/local.mk1
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/local.mk b/tests/local.mk
index a62fe267..469b1896 100644
--- a/tests/local.mk
+++ b/tests/local.mk
@@ -47,6 +47,7 @@ TESTSUITE_AT = \
%D%/c++.at \
%D%/calc.at \
%D%/conflicts.at \
+ %D%/counterexample.at \
%D%/cxx-type.at \
%D%/diagnostics.at \
%D%/existing.at \