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

diff --git a/grading/threads/run-tests b/grading/threads/run-tests
index ad9cb8b..75d4a70 100755
--- a/grading/threads/run-tests
+++ b/grading/threads/run-tests
@@ -40,8 +40,7 @@ sub usage {
 	  "join-dummy", "join-invalid", "join-no",
 	  "priority-preempt", "priority-fifo", "priority-donate-one",
 	  "priority-donate-multiple", "priority-donate-nest",
-	  #"mlfqs-on", "mlfqs-off"
-	  )
+	  "mlfqs-on", "mlfqs-off")
     unless @TESTS > 0;
 
 # Find the directory that contains the grading files.
@@ -431,8 +430,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 defined ($function = <A2L>);
+		$line = <A2L>;
 		chomp $function;
 		chomp $line;
 		$details .= "  $function ($line)\n";