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"; \