diff options
Diffstat (limited to 'bin/reproducible_maintenance.sh')
| -rwxr-xr-x | bin/reproducible_maintenance.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_maintenance.sh b/bin/reproducible_maintenance.sh index ee71b3d9..39dc9d1a 100755 --- a/bin/reproducible_maintenance.sh +++ b/bin/reproducible_maintenance.sh @@ -433,7 +433,7 @@ if [ "$HOSTNAME" = "$MAINNODE" ] && [ $(date -u +%H) -eq 0 ] ; then for a in $ARCHS archlinux fedora ; do echo "- $(grep https $TMPFILE|grep -c _$a) from $a." done - else + elif grep -q 'stale builds found' $TMPFILE ; then echo "$(grep -c 'stale builds found' $TMPFILE || true) entries found:" for a in $ARCHS ; do echo "- $(grep -c ${a}_ $TMPFILE) from $a." |