diff options
Diffstat (limited to 'test/regress/regress0/strings/Makefile.am')
-rw-r--r-- | test/regress/regress0/strings/Makefile.am | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/test/regress/regress0/strings/Makefile.am b/test/regress/regress0/strings/Makefile.am index 962340a91..4d1da2efb 100644 --- a/test/regress/regress0/strings/Makefile.am +++ b/test/regress/regress0/strings/Makefile.am @@ -70,15 +70,14 @@ TESTS = \ norn-ab.smt2 \ idof-rewrites.smt2 \ bug682.smt2 \ - bug686dd.smt2 - -FAILING_TESTS = - -EXTRA_DIST = $(TESTS) \ + bug686dd.smt2 \ + idof-handg.smt2 \ fmf001.smt2 \ type002.smt2 -# somewhat slow after changes on Oct 6: idof-handg.smt2 +FAILING_TESTS = + +EXTRA_DIST = $(TESTS) # and make sure to distribute it EXTRA_DIST += |