diff options
Diffstat (limited to 'bin/reproducible_stats.sh')
| -rwxr-xr-x | bin/reproducible_stats.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/reproducible_stats.sh b/bin/reproducible_stats.sh index d2d92638..3760f1ec 100755 --- a/bin/reproducible_stats.sh +++ b/bin/reproducible_stats.sh @@ -50,9 +50,9 @@ for PKG in $BAD ; do # remove epoch VERSION=$(echo $VERSION | cut -d ":" -f2) if [ -f "/var/lib/jenkins/userContent/diffp/${PKG}_${VERSION}.diffp.html" ] ; then - htmlecho "<a href=\"$JENKINS_URL/userContent/diffp/${PKG}_${VERSION}.diffp.html\">$PKG </a> " + htmlecho " <a href=\"$JENKINS_URL/userContent/diffp/${PKG}_${VERSION}.diffp.html\">$PKG</a> " else - htmlecho "<a href=\"$JENKINS_URL/userContent/diffp/${PKG}_${VERSION}.diffp.log\">$PKG </a> " + htmlecho " <a href=\"$JENKINS_URL/userContent/diffp/${PKG}_${VERSION}.diffp.log\">$PKG</a> " fi done htmlecho "</code></p>" |