From: Morgan Deters <mdeters@gmail.com>
Date: Thu, 27 May 2010 21:25:35 +0000 (+0000)
Subject: small cosmetic change to tests summary output
X-Git-Tag: cvc5-1.0.0~9029
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9eb5f5516f3b72fd1d5e5fa6b5960122541a2e93;p=cvc5.git

small cosmetic change to tests summary output
---

diff --git a/test/Makefile.am b/test/Makefile.am
index 31978b3c2..de8e7a985 100644
--- a/test/Makefile.am
+++ b/test/Makefile.am
@@ -34,13 +34,16 @@ check-pre:
 check-local:
 	@$(am__tty_colors); \
 	echo $${blu}===============================  TESTING SUMMARY  =============================$$std; \
-	for log in $(subdirs_to_check:=/test-suite.log); do \
+	for dir in $(subdirs_to_check); do \
+		log=$$dir/test-suite.log; \
 		if test -s "$$log"; then \
 			status="`head -n 5 $$log | tail -1`"; \
-			if echo "$$status" | grep -q failed; then col=$$red; \
-			else col=$$grn; fi; \
-			echo "$$col$$status"; \
-			echo "    @abs_builddir@/$$log$$std"; \
+			if echo "$$status" | grep -q failed; then \
+				echo "$$red$$status"; \
+				echo "    @abs_builddir@/$$log$$std"; \
+			else \
+				printf "$$grn%-30s in $$dir$$std\\n" "$$status"; \
+			fi; \
 		fi; \
 	done; \
 	echo $${blu}===============================  TESTING SUMMARY  =============================$$std