summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2014-10-06 17:41:40 +0200
committerHolger Levsen <holger@layer-acht.org>2014-10-06 17:41:40 +0200
commitfc1c2031dbdbeb00f37366d56906c0df0fad29b5 (patch)
treefb3873306128a39255c06ddc160817719f73e5b5
parentc54de17886459d5f6030127792fd8295c84c040d (diff)
downloadjenkins.debian.net-fc1c2031dbdbeb00f37366d56906c0df0fad29b5.tar.xz
reproducible: fix header for dd-list
-rwxr-xr-xbin/reproducible_stats.sh2
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>"