diff options
| author | Holger Levsen <holger@layer-acht.org> | 2014-10-06 14:34:45 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2014-10-06 14:34:45 +0200 |
| commit | 690803a43e87959c77ff7d97452036b3cf6bbdc6 (patch) | |
| tree | 25dd21e03a1d8288b6163c48e8ef41acae4908f0 /bin | |
| parent | c2a3f94fdfaf552e9a9d4cc4f84c77691c470291 (diff) | |
| download | jenkins.debian.net-690803a43e87959c77ff7d97452036b3cf6bbdc6.tar.xz | |
reproducible: make beta indicator more subtile
Diffstat (limited to 'bin')
| -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 7264efcf..6a417ba1 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="β" # used to be a star... + STAR="<font color=\"#333333\" size=\"-1\">β</font>" # 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> " |