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 64332ef2..9e519c48 100755 --- a/bin/reproducible_maintenance.sh +++ b/bin/reproducible_maintenance.sh @@ -416,7 +416,7 @@ 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 - ( if [ "$(basename $PROBLEM)" = "reproducible-diskspace-issues.log" ; then + ( 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." |