diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_stats.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/bin/reproducible_stats.sh b/bin/reproducible_stats.sh index 1d765c29..dcd4b4cb 100755 --- a/bin/reproducible_stats.sh +++ b/bin/reproducible_stats.sh @@ -47,12 +47,12 @@ link_packages() { EVERSION=$(echo $VERSION | cut -d ":" -f2) htmlecho $PKG if [ -f "/var/lib/jenkins/userContent/dbd/${PKG}_${EVERSION}.debbindiff.html" ] || [ -f "/var/lib/jenkins/userContent/dbd/${PKG}_${EVERSION}.diffp.log" ] || [ -f "/var/lib/jenkins/userContent/pbuilder/${PKG}_${EVERSION}.pbuilder.log" ] || [ -f "/var/lib/jenkins/userContent/pbuilder/${PKG}_${EVERSION}.buildinfo" ] ; then - htmlecho "<font size='-1'> (" - if [ -f "/var/lib/jenkins/userContent/buildinfo/${PKG}_${EVERSION}.buildinfo.log" ] ; then - htmlecho " <a href=\"$JENKINS_URL/userContent/buildinfo/${PKG}_${EVERSION}.buildinfo.log\"> buildinfo </a> " + htmlecho "<font size='-2'> (" + if [ -f "/var/lib/jenkins/userContent/buildinfo/${PKG}_${EVERSION}.buildinfo" ] ; then + htmlecho " <a href=\"$JENKINS_URL/userContent/buildinfo/${PKG}_${EVERSION}.buildinfo\"> buildinfo </a> " fi if [ -f "/var/lib/jenkins/userContent/dbd/${PKG}_${EVERSION}.debbindiff.html" ] ; then - htmlecho " <a href=\"$JENKINS_URL/userContent/dbd/${PKG}_${EVERSION}.debbindiff.html\"> dbd </a> " + htmlecho " <a href=\"$JENKINS_URL/userContent/dbd/${PKG}_${EVERSION}.debbindiff.html\"> debbindiff </a> " elif [ -f "/var/lib/jenkins/userContent/dbd/${PKG}_${EVERSION}.diffp.log" ] ; then htmlecho " <a href=\"$JENKINS_URL/userContent/dbd/${PKG}_${EVERSION}.diffp.log\"> diffp </a> " fi |