From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Fri, 20 Apr 2018 12:53:32 +0000 (-0700)
Subject: Restrict test summary to first-level subfolders (#1797)
X-Git-Tag: cvc5-1.0.0~5137
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b384376e687f53bea69b4fdaa11898a52e0f471f;p=cvc5.git

Restrict test summary to first-level subfolders (#1797)
---

diff --git a/test/Makefile.am b/test/Makefile.am
index e87427dc6..372f42bb0 100644
--- a/test/Makefile.am
+++ b/test/Makefile.am
@@ -85,8 +85,12 @@ check-local:
 			fi; \
 		fi; \
 	done; \
-	for dir in `find regress -not -empty -type d`; do \
-		status_info=`grep -d skip ":test-result: " $$dir/*`; \
+	for dir in `find regress -maxdepth 2 -not -empty -type d | sort`; do \
+		if [[ "$$dir" =~ .*regress[0-4]$$ ]]; then \
+			status_info=`grep -d skip ":test-result: " $$dir/*`; \
+		else \
+			status_info=`grep -r ":test-result: " $$dir`; \
+		fi; \
 		total=`echo "$$status_info" | grep ":test-result: " | wc -l`; \
 		if [ $$total -ne 0 ]; then \
 			status="$${std}$$total TOTAL"; \