diff options
-rwxr-xr-x | bin/reproducible_maintenance.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bin/reproducible_maintenance.sh b/bin/reproducible_maintenance.sh index b1024b0a..e4e09588 100755 --- a/bin/reproducible_maintenance.sh +++ b/bin/reproducible_maintenance.sh @@ -428,6 +428,9 @@ if [ "$HOSTNAME" = "$MAINNODE" ] && [ $(date -u +%H) -eq 0 ] ; then done else echo "$(grep -c 'stale builds found' $TMPFILE || true) entries found:" + for a in $ARCHS ; do + echo "- $(grep -c '|${a}_' $TMPFILE) from $a." + done fi echo cat $TMPFILE ) | mail -s "$(basename $PROBLEM) found" qa-jenkins-scm@lists.alioth.debian.org |