X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Ftests.pm;h=7d0777c4ff24b6d8b9861cd636731ca526f19a04;hb=c756825357f433537caec55ac12cf0104be3a6f4;hp=4cec83d656cdd1da3aee01d04a85582e4e10816b;hpb=780c0dca173dd7d3b7f1797c51405da5d9a27d4c;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);