X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fthreads%2Frun-tests;h=7fcc91cc6853256f82712f0f5f19be62d00d8cca;hb=b8ac41bfd566e33c8736d0024bd0bb3f1287f819;hp=ad9cb8b40be3aff7ce8ceabe9ad9a9aa4da21af5;hpb=ee3116952fce74dde22dd0ce78fa2f97eaadd1a6;p=pintos-anon

diff --git a/grading/threads/run-tests b/grading/threads/run-tests
index ad9cb8b..7fcc91c 100755
--- a/grading/threads/run-tests
+++ b/grading/threads/run-tests
@@ -431,8 +431,10 @@ sub verify_common {
 		$A2L = "i386-elf-addr2line";
 	    }
 	    open (A2L, "$A2L -fe output/$test/kernel.o @addrs|");
-	    while (my $function = <A2L>) {
-		my ($line) = <A2L>;
+	    for (;;) {
+		my ($function, $line);
+		last unless $function = <A2L>;
+		$line = <A2L>;
 		chomp $function;
 		chomp $line;
 		$details .= "  $function ($line)\n";