diff options
| author | Holger Levsen <holger@layer-acht.org> | 2014-10-06 14:13:39 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2014-10-06 14:13:39 +0200 |
| commit | 1350375f56f0d9f7c5a5970f8a852fbe124f1e6c (patch) | |
| tree | 2ff99a739c58d43a6bfdf6bcb45dee5cfcfcb41b | |
| parent | 5c4924cc765ec9d0f634b30d4e372a2432ed8398 (diff) | |
| download | jenkins.debian.net-1350375f56f0d9f7c5a5970f8a852fbe124f1e6c.tar.xz | |
reproducible: use beta sign in stats page instead of asterisk and explain what it means
| -rwxr-xr-x | bin/reproducible_stats.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/reproducible_stats.sh b/bin/reproducible_stats.sh index d456d002..06921293 100755 --- a/bin/reproducible_stats.sh +++ b/bin/reproducible_stats.sh @@ -92,7 +92,7 @@ link_packages() { append2navi_frame " <a href=\"$JENKINS_URL/userContent/buildinfo/${PKG}_${EVERSION}_amd64.buildinfo\" target=\"main\">buildinfo</a> " MAINLINK="$JENKINS_URL/userContent/buildinfo/${PKG}_${EVERSION}_amd64.buildinfo" elif $EXTRA_STAR ; then - STAR="<sup>*</sup>" + STAR="β" # used to be a star... fi if [ -f "/var/lib/jenkins/userContent/dbd/${PKG}_${EVERSION}.debbindiff.html" ] ; then append2navi_frame " <a href=\"$JENKINS_URL/userContent/dbd/${PKG}_${EVERSION}.debbindiff.html\" target=\"main\">debbindiff</a> " @@ -137,6 +137,7 @@ EXTRA_STAR=true link_packages $BAD EXTRA_STAR=false write_index "</code></p>" +write_index "<p><font size=\"-1\">A β sign after a package name indicates that no .buildinfo files were generated.</font></p>" write_index write_index "<p>$COUNT_UGLY packages ($PERCENT_UGLY%) failed to build from source: <code>" link_packages $UGLY |