From 903c74e42b237b973c0971b064a7ff3a0e91433e Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Fri, 13 Mar 2026 10:10:34 +0100
Subject: [PATCH] Look for all result files

---
 tests/Makefile | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/tests/Makefile b/tests/Makefile
index 237cf6ec0..55276e730 100644
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -104,8 +104,12 @@ ifeq ($(YOSYS_NOVERIFIC),1)
 endif
 endif
 	@echo ""
-	@pass=$$(grep -h PASS **/*.result 2>/dev/null | wc -l); \
-	fail=$$(grep -h FAIL **/*.result 2>/dev/null | wc -l); \
+	-@$(MAKE) summary
+
+.PHONY: summary
+summary:
+	@pass=$$(find . -type f -name '*.result' -exec grep '^PASS$$' {} + | wc -l); \
+	fail=$$(find . -type f -name '*.result' -exec grep '^FAIL$$' {} + | wc -l); \
 	total=$$((pass + fail)); \
 	echo "=========================="; \
 	echo "Tests: $$total"; \