X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Ftests.pm;h=7d0777c4ff24b6d8b9861cd636731ca526f19a04;hb=af773521bbb1da676b256452850718653f05de76;hp=4cec83d656cdd1da3aee01d04a85582e4e10816b;hpb=34b46cec05a4a9c2ce8a22274212d36502bd43e0;p=pintos-anon

diff --git a/src/tests/tests.pm b/src/tests/tests.pm
index 4cec83d..7d0777c 100644
--- a/src/tests/tests.pm
+++ b/src/tests/tests.pm
@@ -173,7 +173,6 @@ sub finish {
     seek ($msg_file, 0, 0);
     while (<$msg_file>) {
 	$messages .= $_;
-	print "'$_'";
     }
     close ($msg_file);