diff options
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/Makefile.am b/Makefile.am index a689999d..de152e92 100644 --- a/Makefile.am +++ b/Makefile.am @@ -38,12 +38,15 @@ install-data-local: p=$(srcdir)/testsuite/parse s=$(srcdir)/testsuite/sem t=$(srcdir)/testsuite/trans +b=$(srcdir)/testsuite/build TESTS = $(wildcard $(p)ok/*.stp) $(wildcard $(p)ko/*.stp) \ $(wildcard $(s)ok/*.stp) $(wildcard $(s)ko/*.stp) \ - $(wildcard $(t)ok/*.stp) $(wildcard $(t)ko/*.stp) + $(wildcard $(t)ok/*.stp) $(wildcard $(t)ko/*.stp) \ + $(wildcard $(b)ok/*.stp) $(wildcard $(b)ko/*.stp) XFAIL_TESTS = $(wildcard $(p)ko/*.stp) \ $(wildcard $(s)ko/*.stp) \ - $(wildcard $(t)ko/*.stp) + $(wildcard $(t)ko/*.stp) \ + $(wildcard $(b)ko/*.stp) TESTS_ENVIRONMENT = $(srcdir)/runtest.sh |