summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xbin/reproducible_stats.sh3
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="&beta;" # 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 &beta; 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