X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fmake-grade;h=f8c1443148cd6e0b473fb14bb4d6658759823710;hb=556a216befb4a58e9563aeef6e827975f4a26731;hp=20e0cd9e3d7bf58b4787edbe4aa2b072297e57e1;hpb=fd4478592855e4cfea39f9797231fd7ba0ff01c4;p=pintos-anon

diff --git a/src/tests/make-grade b/src/tests/make-grade
index 20e0cd9..f8c1443 100755
--- a/src/tests/make-grade
+++ b/src/tests/make-grade
@@ -116,19 +116,22 @@ my (@divider) = ('', '- ' x 38, '');
 print map ("$_\n", @overall, @divider, @summary, @divider, @rubrics);
 
 for my $test (@failures) {
-    open (RESULT, '<', "$test.result") or next;
     print map ("$_\n", @divider);
     print "DETAILS OF $test FAILURE:\n\n";
-    my $first_line = <RESULT>;
-    my ($cnt) = 0;
-    while (<RESULT>) {
-	print;
-	$cnt++;
+
+    if (open (RESULT, '<', "$test.result")) {
+	my $first_line = <RESULT>;
+	my ($cnt) = 0;
+	while (<RESULT>) {
+	    print;
+	    $cnt++;
+	}
+	close (RESULT);
     }
-    close (RESULT);
 
-    if ($cnt == 0) {
-	open (OUTPUT, '<', "$test.output") or next;
+    if (open (OUTPUT, '<', "$test.output")) {
+	print "\nOUTPUT FROM $test:\n\n";
+    
 	my ($panics) = 0;
 	while (<OUTPUT>) {
 	    if (/PANIC/ && ++$panics > 2) {
@@ -140,4 +143,3 @@ for my $test (@failures) {
 	close (OUTPUT);
     }
 }
-