X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2FMake.tests;h=44e8d5e495b91fb5a6727b99f3ebc8124f9c8da9;hb=f3748f9fb653d45c2feae78facddd759f85d7d71;hp=00b9097c8420b7bd2ddf2f22b019f9f0a4cac757;hpb=629ddac81289018a0ab9caa723ae876f3b44eb64;p=pintos-anon

diff --git a/src/tests/Make.tests b/src/tests/Make.tests
index 00b9097..44e8d5e 100644
--- a/src/tests/Make.tests
+++ b/src/tests/Make.tests
@@ -26,13 +26,13 @@ grade:: results
 
 check:: results
 	@cat $<
-	@COUNT="`egrep '^(pass|FAIL) ' $< | wc -l`";		\
-	FAILURES="`egrep '^FAIL ' $< | wc -l`";			\
-	if [ "$$FAILURES" = 0 ]; then				\
-		echo "All $$COUNT tests passed.";		\
-	else							\
-		echo "$$FAILURES of $$COUNT tests failed.";	\
-		exit 1;						\
+	@COUNT="`egrep '^(pass|FAIL) ' $< | wc -l | sed 's/[ 	]//g;'`"; \
+	FAILURES="`egrep '^FAIL ' $< | wc -l | sed 's/[ 	]//g;'`"; \
+	if [ $$FAILURES = 0 ]; then					  \
+		echo "All $$COUNT tests passed.";			  \
+	else								  \
+		echo "$$FAILURES of $$COUNT tests failed.";		  \
+		exit 1;							  \
 	fi
 
 results: $(RESULTS)