X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=blobdiff_plain;f=results2html;h=988b1e26724566a60c810a330d7be6ac93ba86c2;hp=1e8ea802226110c44f73f6b883ddd2b288e2bbdd;hb=de529ec0679df55184c2959eb5c50c4f86867871;hpb=3947fa2b295fea167dd92cd9be4df92a891aadda

diff --git a/results2html b/results2html
index 1e8ea80222..988b1e2672 100755
--- a/results2html
+++ b/results2html
@@ -80,7 +80,7 @@ while (<LOG>) {
 	    $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 -");