diff options
Diffstat (limited to 'bin')
| -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 f18ab11d..ee71b3d9 100755 --- a/bin/reproducible_maintenance.sh +++ b/bin/reproducible_maintenance.sh @@ -436,7 +436,7 @@ if [ "$HOSTNAME" = "$MAINNODE" ] && [ $(date -u +%H) -eq 0 ] ; then else echo "$(grep -c 'stale builds found' $TMPFILE || true) entries found:" for a in $ARCHS ; do - echo "- $(grep -c '|${a}_' $TMPFILE) from $a." + echo "- $(grep -c ${a}_ $TMPFILE) from $a." done fi echo |