diff options
| -rwxr-xr-x | bin/reproducible_stats.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/reproducible_stats.sh b/bin/reproducible_stats.sh index c8cb9898..e7137366 100755 --- a/bin/reproducible_stats.sh +++ b/bin/reproducible_stats.sh @@ -128,7 +128,7 @@ write_index "<meta http-equiv=\"Content-Type\" content=\"text/html; charset=UTF- write_index "<link href=\"static/style.css\" type=\"text/css\" rel=\"stylesheet\" /></head>" write_index "<body><header><h2>Statistics for reproducible builds</h2>" write_index "<p>This page is updated every three hours. Results are obtained from <a href=\"$JENKINS_URL/view/reproducible\">several build jobs running on jenkins.debian.net</a>. Thanks to <a href=\"https://www.profitbricks.com\">Profitbricks</a> for donating the virtual machine it's running on!</p>" -write_index "<p>$COUNT_TOTAL packages attempted to build so far, that's $PERCENT_TOTAL% of $AMOUNT source packages in Debian $SUITE currently. Out of these, $PERCENT_GOOD% were successful, so quite wildly guessing this roughy means about $GUESS_GOOD packages should be reproducibly buildable! Join <code>#debian-reproducible</code> on OFTC to get support for making sure your packages build reproducibly too!</p></header>" +write_index "<p>$COUNT_TOTAL packages attempted to build so far, that's $PERCENT_TOTAL% of $AMOUNT source packages in Debian $SUITE currently. Out of these, $PERCENT_GOOD% were successful, so quite wildly guessing this roughy means about $GUESS_GOOD <a href=\"https://wiki.debian.org/ReproducibleBuilds\">packages should be reproducibly buildable!</a> Join <code>#debian-reproducible</code> on OFTC to get support for making sure your packages build reproducibly too!</p></header>" write_index "<p>$COUNT_BAD packages ($PERCENT_BAD% of $COUNT_TOTAL) failed to built reproducibly: <code>" EXTRA_STAR=true link_packages $BAD @@ -153,7 +153,7 @@ 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 "<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.</font>" +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>" echo |