diff options
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 340db650..0352aca0 100755 --- a/bin/reproducible_stats.sh +++ b/bin/reproducible_stats.sh @@ -45,7 +45,7 @@ link_packages() { VERSION=$(sqlite3 -init $INIT $PACKAGES_DB "SELECT version FROM source_packages WHERE name = \"$PKG\"") # remove epoch EVERSION=$(echo $VERSION | cut -d ":" -f2) - echo $PKG + 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" ] ; then htmlecho "<font size='-1'> (" if [ -f "/var/lib/jenkins/userContent/dbd/${PKG}_${EVERSION}.debbindiff.html" ] ; then |