Merge pull request #150 from nakengelhardt/fix_junit_type_assignment

[SymbiYosys.git] / tests / Makefile

diff --git a/tests/Makefile b/tests/Makefile
index 46ec23b291a8b8fa371fb4961ad49ba03b4dc20f..177688c0a4dc0b0ae6689534d3904d7e3ec77ffd 100644 (file)
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -6,7 +6,7 @@ JUNIT_TESTS=junit_assert_pass junit_assert_fail junit_assert_preunsat \
 junit_cover_pass junit_cover_uncovered junit_cover_assert junit_cover_preunsat \
 junit_timeout_error_timeout junit_timeout_error_syntax junit_timeout_error_solver
 
-.PHONY: test validate_junit
+.PHONY: test validate_junit scripted
 
 test: $(JUNIT_TESTS) $(CHECK_PY_TASKS)
 
@@ -19,4 +19,7 @@ $(CHECK_PY_TASKS): check_%: %.check.py test_%
 $(JUNIT_TESTS): $(SBY_TESTS)
        python3 validate_junit.py $@/$@.xml
 
+scripted:
+       make -C scripted
+
 FORCE: