diff options
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/Makefile.am b/Makefile.am index e397e2ad..b2eb770c 100644 --- a/Makefile.am +++ b/Makefile.am @@ -21,9 +21,13 @@ DEFS= -DDEFPATH=$(DEFPATH) -DHAVE_CONFIG_H p=$(srcdir)/testsuite/parse s=$(srcdir)/testsuite/sem +t=$(srcdir)/testsuite/trans TESTS = $(wildcard $(p)ok/*.stp) $(wildcard $(p)ko/*.stp) \ - $(wildcard $(s)ok/*.stp) $(wildcard $(s)ko/*.stp) -XFAIL_TESTS = $(wildcard $(p)ko/*.stp) $(wildcard $(s)ko/*.stp) + $(wildcard $(s)ok/*.stp) $(wildcard $(s)ko/*.stp) \ + $(wildcard $(t)ok/*.stp) $(wildcard $(t)ko/*.stp) +XFAIL_TESTS = $(wildcard $(p)ko/*.stp) \ + $(wildcard $(s)ko/*.stp) \ + $(wildcard $(t)ko/*.stp) TESTS_ENVIRONMENT = $(srcdir)/runtest.sh |