# print " Line $lineno: found \"$check{string}\"\n";
$file_results{$check{message}} = 1;
if ($check{timeout} and $errors == 0) {
+ print " <li>Line $lineno: $check{message}\n";
print " <li>Build killed by timeout before any errors at line $lineno\n";
} else {
print " <li>Line $lineno: $check{message}\n";