diff options
Diffstat (limited to 'tests/run_test.pl')
| -rwxr-xr-x | tests/run_test.pl | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/tests/run_test.pl b/tests/run_test.pl index 72d4b5bc4a6..8410dfbc9d1 100755 --- a/tests/run_test.pl +++ b/tests/run_test.pl @@ -166,7 +166,6 @@ sub check_log ($$) print STDERR "Error: Cannot open log file $log\n"; } else { - my $print_log = 0; my $starting_matched = 0; my $ending_matched = 0; @@ -183,37 +182,17 @@ sub check_log ($$) if (/LM\_ERROR\@(.*)$/) { print STDERR "Error: ($log): $1\n"; - $print_log = 1; } - if (/LM\_WARNING\@(.*)$/) { - print STDERR "Warning: ($log): $1\n"; - $print_log = 1; - } } close (LOG); # ignore errors if ($starting_matched == 0) { print STDERR "Error ($log): no line with 'starting'\n"; - $print_log = 1; } if ($ending_matched == 0) { print STDERR "Error ($log): no line with 'Ending'\n"; - $print_log = 1; - } - - if ($print_log == 1) { - print STDERR "======= Begin Log File \n"; - if (open (LOG, "<".$log) == 0) { - print STDERR "Error: Cannot open log file $log\n"; - } - else { - my @log = <LOG>; - print STDERR @log; - close (LOG); - } - print STDERR "======= End Log File \n"; } } } |