From: N. Engelhardt <nak@yosyshq.com>
Date: Tue, 15 Mar 2022 14:12:59 +0000 (+0100)
Subject: ci housekeeping
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=244194065350842a806cce8d37fb1885d7c51c1d;p=SymbiYosys.git

ci housekeeping
---

diff --git a/tests/.gitignore b/tests/.gitignore
index 1feaa19..212f4dd 100644
--- a/tests/.gitignore
+++ b/tests/.gitignore
@@ -7,3 +7,6 @@
 /prv32fmcmp*/
 /redxor*/
 /stopfirst*/
+/junit_*/
+/submod_props*/
+/multi_assert*/
diff --git a/tests/Makefile b/tests/Makefile
index 9370991..8f1d00c 100644
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -6,8 +6,6 @@ junit_timeout_error_timeout junit_timeout_error_syntax junit_timeout_error_solve
 
 .PHONY: test validate_junit
 
-FORCE:
-
 test: $(JUNIT_TESTS)
 
 test_%: %.sby FORCE
@@ -15,3 +13,5 @@ test_%: %.sby FORCE
 
 $(JUNIT_TESTS): $(SBY_TESTS)
 	python3 validate_junit.py $@/$@.xml
+
+FORCE: