X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=blobdiff_plain;f=results2html;h=b330c871abbdae8a74df08a6fa36cb5d52eb6c3b;hp=1e8ea802226110c44f73f6b883ddd2b288e2bbdd;hb=HEAD;hpb=3947fa2b295fea167dd92cd9be4df92a891aadda diff --git a/results2html b/results2html index 1e8ea80222..b330c871ab 100755 --- a/results2html +++ b/results2html @@ -80,7 +80,7 @@ while () { $p{HREF} = $href; $p{LN} = $ln; push (@products, \%p); - push (@{$steps[$#steps]{CHILDREN}}, \%p); + push (@{$steps[$#steps]{CHILDREN}}, \%p) if @steps; if (defined ($name) && $name eq 'source distribution') { open (DIST, '-|', "zcat $product | tar tf -"); @@ -151,6 +151,7 @@ open (INDEX, '>','index.html'); print INDEX < +