From 244194065350842a806cce8d37fb1885d7c51c1d Mon Sep 17 00:00:00 2001
From: "N. Engelhardt" <nak@yosyshq.com>
Date: Tue, 15 Mar 2022 15:12:59 +0100
Subject: [PATCH] ci housekeeping

---
 tests/.gitignore | 3 +++
 tests/Makefile   | 4 ++--
 2 files changed, 5 insertions(+), 2 deletions(-)

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:
-- 
2.30.2