diff options
| author | Holger Levsen <holger@layer-acht.org> | 2014-10-09 21:55:03 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2014-10-09 21:55:03 +0200 |
| commit | 016017948383df9d901b02bcee3379776f39ff36 (patch) | |
| tree | 86584a10bcdfe0b564f13f361f417206cdbaca45 /bin/reproducible_stats.sh | |
| parent | 838f7b61aac230f2e5ff964dea8c367d87a78cb9 (diff) | |
| download | jenkins.debian.net-016017948383df9d901b02bcee3379776f39ff36.tar.xz | |
reproducible: update pages every six hours
Diffstat (limited to 'bin/reproducible_stats.sh')
| -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 badcf1d7..fbdf85a3 100755 --- a/bin/reproducible_stats.sh +++ b/bin/reproducible_stats.sh @@ -397,7 +397,7 @@ write_summary_header() { write_summary "<title>$2</title></head>" write_summary "<body><header><h2>$2</h2>" if [ "$1" = "$MAINVIEW" ] ; then - write_summary "<p>These pages are 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_summary "<p>These pages are updated every six 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>" fi write_summary "<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>" if [ "${1:0:3}" = "all" ] || [ "$1" = "dd-list" ] ; then |