diff options
| author | Holger Levsen <holger@layer-acht.org> | 2014-10-06 17:41:40 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2014-10-06 17:41:40 +0200 |
| commit | fc1c2031dbdbeb00f37366d56906c0df0fad29b5 (patch) | |
| tree | fb3873306128a39255c06ddc160817719f73e5b5 /bin | |
| parent | c54de17886459d5f6030127792fd8295c84c040d (diff) | |
| download | jenkins.debian.net-fc1c2031dbdbeb00f37366d56906c0df0fad29b5.tar.xz | |
reproducible: fix header for dd-list
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_stats.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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 "<p>$COUNT_GOOD packages ($PERCENT_GOOD%) successfully built reproducibly: <code>" link_packages $GOOD write_index "</code></p>" -write_index "<hr/><h1>Packages which failed to build reproducibly, sorted by Maintainers: and Uploaders: fields</h1>" +write_index "<hr/><h2>Packages which failed to build reproducibly, sorted by Maintainers: and Uploaders: fields</h2>" write_index "<p><pre>$(echo $BAD | dd-list -i) </pre></p>" write_index "<hr/><p><font size='-1'><a href=\"$JENKINS_URL/userContent/reproducible.html\">Static URL for this page.</a> Last modified: $(date). Copyright 2014 <a href=\"mailto:holger@layer-acht.org\">Holger Levsen</a>, GPL-2 licensed. <a href=\"https://jenkins.debian.net/userContent/about.html\">About jenkins.debian.net</a></font>" write_index "</p></body></html>" |