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