diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_maintenance.sh | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/bin/reproducible_maintenance.sh b/bin/reproducible_maintenance.sh index dd083159..3bfd5d7c 100755 --- a/bin/reproducible_maintenance.sh +++ b/bin/reproducible_maintenance.sh @@ -416,11 +416,15 @@ if [ "$HOSTNAME" = "$MAINNODE" ] && [ $(date -u +%H) -eq 0 ] ; then # regular logfile, logrotate is used (and the file aint owned by jenkins) cp $PROBLEM $TMPFILE fi - ( echo "A few entries per day are normal, a few dozens or hundreds probably not." + ( if [ "$(basename $PROBLEM)" = "reproducible-diskspace-issues.log" ; then + echo "diskspace issues should always be investigated." + else + echo "A few entries per day are normal, a few dozens or hundreds probably not." + fi if grep -q https $TMPFILE ; then - echo "$(grep -c https $TMPFILE) entries found:" + echo "$(grep -c https $TMPFILE) entries found:" else - echo "$(grep -c 'stale builds found' $TMPFILE || true) entries found:" + echo "$(grep -c 'stale builds found' $TMPFILE || true) entries found:" fi echo cat $TMPFILE ) | mail -s "$(basename $PROBLEM) found" qa-jenkins-scm@lists.alioth.debian.org |