X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=results2html;h=9c73d12e31ef3d380297c551c4da14b48129958a;hb=refs%2Fheads%2Fbuild2;hp=c682b5e514cf9755c60c36eb2155d0b9aed5ce98;hpb=898ab60c52851ccc9df653ddcabcd16917831f57;p=pspp diff --git a/results2html b/results2html index c682b5e514..9c73d12e31 100755 --- a/results2html +++ b/results2html @@ -56,7 +56,7 @@ while () { if (my ($title) = /^## (.*) ##$/) { $log_class = "step"; if (my ($name, $product) = $title =~ /^Saving(?:\s+([^:]*):)?\s+(.*)$/) { - my $href = "$product/index.html"; + my $href = "$product/summary.html"; $href = $product if ! -e $href; my (%p); @@ -88,9 +88,12 @@ while () { push (@steps, \%s); } } else { - if (my ($diagnostic) = /(error|warning):/i) { + my $diagnostic; + $diagnostic = "error" if /error:/i || /FAILED/; + $diagnostic = "warning" if /warning:/i; + if ($diagnostic) { my (%d); - $d{DIAGNOSTIC} = lc ($diagnostic); + $d{DIAGNOSTIC} = $diagnostic; $d{MESSAGE} = $_; $d{LN} = $ln; @@ -120,8 +123,6 @@ while () { } } push (@{$steps[$#steps]{CHILDREN}}, \%d); - - $log_class = "$diagnostic"; } } printf LOG_HTML "%4d ", $ln, $ln; @@ -132,7 +133,7 @@ while () { } } -open (INDEX, '>','index.html'); +open (INDEX, '>','summary.html'); print INDEX <