diff options
| author | Holger Levsen <holger@layer-acht.org> | 2014-10-07 14:58:33 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2014-10-07 14:58:33 +0200 |
| commit | d430feca38522e1bcfdae4a264ad10134ca87ca5 (patch) | |
| tree | 2b173ad3020a3c96dd953118efbd920249d49a4a /bin | |
| parent | d0004a0b0d170853cea4691cd5438943dbfdd527 (diff) | |
| download | jenkins.debian.net-d430feca38522e1bcfdae4a264ad10134ca87ca5.tar.xz | |
reproducible: only build $PKG pages if they dont exist or are older than $BUILD_DATE
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_stats.sh | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/bin/reproducible_stats.sh b/bin/reproducible_stats.sh index 67f3b845..4dd5af2d 100755 --- a/bin/reproducible_stats.sh +++ b/bin/reproducible_stats.sh @@ -60,7 +60,6 @@ EOF } init_navi_frame() { - NAVI="/var/lib/jenkins/userContent/rb-pkg/$1_navigation.html" echo "<!DOCTYPE html><html><head><meta http-equiv=\"Content-Type\" content=\"text/html; charset=UTF-8\" />" > $NAVI echo "<link href=\"../static/style.css\" type=\"text/css\" rel=\"stylesheet\" /></head>" >> $NAVI echo "<body><p><font size=+1>$1</font> " >> $NAVI @@ -83,8 +82,13 @@ link_packages() { VERSION=$(echo $RESULT|cut -d "|" -f2) # remove epoch EVERSION=$(echo $VERSION | cut -d ":" -f2) - if [ -f "/var/lib/jenkins/userContent/dbd/${PKG}_${EVERSION}.debbindiff.html" ] || [ -f "/var/lib/jenkins/userContent/buildinfo/${PKG}_${EVERSION}_amd64.buildinfo" ] || [ -f "/var/lib/jenkins/userContent/rbuild/${PKG}_${EVERSION}.rbuild.log" ]; then - STAR="" + STAR="" + if $EXTRA_STAR && [ ! -f "/var/lib/jenkins/userContent/buildinfo/${PKG}_${EVERSION}_amd64.buildinfo" ] ; then + STAR="<font color=\"#333333\" size=\"-1\">β</font>" # used to be a star... + fi + NAVI="/var/lib/jenkins/userContent/rb-pkg/$1_navigation.html" + # only build $PKG pages if they don't exist or are older than $BUILD_DATE + if [ ! -f $NAVI ] || [ "$(find ! -newermt '$BUILD_DATE' -name $NAVI)" != "" ] ; then MAINLINK="" init_navi_frame "$PKG" "$VERSION" "$BUILD_DATE" if [ -f "/var/lib/jenkins/userContent/buildinfo/${PKG}_${EVERSION}_amd64.buildinfo" ] ; then @@ -110,6 +114,8 @@ link_packages() { finish_navi_frame write_pkg_frameset "$PKG" "$MAINLINK" + fi + if [ -f "/var/lib/jenkins/userContent/rbuild/${PKG}_${EVERSION}.rbuild.log" ] ; then write_index " <a href=\"$JENKINS_URL/userContent/rb-pkg/$PKG.html\">$PKG</a>$STAR " else write_index " $PKG " |