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 3bfd5d7c..64332ef2 100755 --- a/bin/reproducible_maintenance.sh +++ b/bin/reproducible_maintenance.sh @@ -423,6 +423,9 @@ if [ "$HOSTNAME" = "$MAINNODE" ] && [ $(date -u +%H) -eq 0 ] ; then fi if grep -q https $TMPFILE ; then echo "$(grep -c https $TMPFILE) entries found:" + for a in $ARCHS ; do + echo "- $(grep https $TMPFILE|grep -c $a) on $a." + done else echo "$(grep -c 'stale builds found' $TMPFILE || true) entries found:" fi |