bunch of fixes

1 files changed, 3 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index c77769c..3a0a196 100644
--- a/Makefile
+++ b/Makefile
@@ -86,6 +86,9 @@ analyzeall:
 			  echo -ne "\033[32m";\
 		  fi; \
 		  cat *$${i}.server.log 2>/dev/null | grep -c untested$$ ;\
+		  echo -ne "\033[39m";\
+	     \
+		  echo "   not-ignored untested functions: " ;\
 		  echo -ne "\033[33m";\
 		  for j in `cat *$${i}.server.log 2>/dev/null | grep untested$$ | cut -d' ' -f1 | sort -u`; do \
 	          if ! grep $$j $${i}/cross-test-ignore &>/dev/null; then \