From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 20 Jun 2005 22:55:36 +0000 (+0000)
Subject: Don't print recursive reboots.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=aee261b3bd7354d73d443114e6eab0de0dee2711

Don't print recursive reboots.
---

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);
     }