From: Ben Pfaff Date: Mon, 20 Jun 2005 22:55:59 +0000 (+0000) Subject: Don't print output for triple faults. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=cf9ba7a17eb6e9ac5da59778f5ab51939370d712;p=pintos-anon Don't print output for triple faults. --- diff --git a/src/tests/tests.pm b/src/tests/tests.pm index 3c55741..2e3642c 100644 --- a/src/tests/tests.pm +++ b/src/tests/tests.pm @@ -80,12 +80,6 @@ sub check_for_keyword { $kw_line =~ s/^\([^\)]+\)\s+//; print "$kw_line\n"; - # Append output, eliminating uninteresting header and trailer info - # if possible. - my (@core) = get_core_output (@output); - @output = @core if @core; - print "Program output:\n\n" . join ('', map ("$_\n", @output)); - fail; } @@ -96,18 +90,9 @@ sub check_for_triple_fault { print < 1; - } - fail; }