projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Don't print recursive reboots.
[pintos-anon]
/
src
/
tests
/
make-grade
diff --git
a/src/tests/make-grade
b/src/tests/make-grade
index e6c4b9cdaad627eec2f2ab46612f7b3c43b987ce..23f6ec32d7a9aa4aa9594fb6cf3f62af01af33d8 100755
(executable)
--- 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";
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;
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);
}
}
close (OUTPUT);
}