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: