X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fmake-grade;h=23f6ec32d7a9aa4aa9594fb6cf3f62af01af33d8;hb=aee261b3bd7354d73d443114e6eab0de0dee2711;hp=e6c4b9cdaad627eec2f2ab46612f7b3c43b987ce;hpb=1b18b7d238bdd54d416331436220e4517c4b35db;p=pintos-anon

diff --git a/src/tests/make-grade b/src/tests/make-grade
index e6c4b9c..23f6ec3 100755
--- a/src/tests/make-grade
+++ b/src/tests/make-grade
@@ -132,13 +132,17 @@ for my $test (@failures) {
     if (open (OUTPUT, '<', "$test.output")) {
 	print "\nOUTPUT FROM $test:\n\n";
     
-	my ($panics) = 0;
+	my ($panics, $boots) = (0, 0);
 	while (<OUTPUT>) {
 	    if (/PANIC/ && ++$panics > 2) {
 		print "[...details of additional panic(s) omitted...]\n";
 		last;
 	    }
 	    print;
+	    if (/Pintos booting/ && ++$boots > 1) {
+		print "[...details of reboot(s) omitted...]\n";
+		last;
+	    }
 	}
 	close (OUTPUT);
     }