From fc1c2031dbdbeb00f37366d56906c0df0fad29b5 Mon Sep 17 00:00:00 2001 From: Holger Levsen Date: Mon, 6 Oct 2014 17:41:40 +0200 Subject: reproducible: fix header for dd-list --- bin/reproducible_stats.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/reproducible_stats.sh b/bin/reproducible_stats.sh index c297e08a..257e56b5 100755 --- a/bin/reproducible_stats.sh +++ b/bin/reproducible_stats.sh @@ -152,7 +152,7 @@ fi write_index "

$COUNT_GOOD packages ($PERCENT_GOOD%) successfully built reproducibly: " link_packages $GOOD write_index "

" -write_index "

Packages which failed to build reproducibly, sorted by Maintainers: and Uploaders: fields

" +write_index "

Packages which failed to build reproducibly, sorted by Maintainers: and Uploaders: fields

" write_index "

$(echo $BAD | dd-list -i) 

" write_index "

Static URL for this page. Last modified: $(date). Copyright 2014 Holger Levsen, GPL-2 licensed. About jenkins.debian.net" write_index "

" -- cgit v1.2.3-70-g09d2