diff options
Diffstat (limited to 'tests/local.mk')
-rw-r--r-- | tests/local.mk | 1 |
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 \ |