diff options
| author | Mattia Rizzolo <mattia@mapreri.org> | 2015-08-15 22:39:05 +0000 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-08-16 13:45:00 +0200 |
| commit | c726f17a2da51fabf13441513712397e16cf3710 (patch) | |
| tree | 3e09fb053232ea4181aff63e245e0e2e29cc656f | |
| parent | 8fd16b9e6459fec4c26ce60be46808d80dee21a6 (diff) | |
| download | jenkins.debian.net-c726f17a2da51fabf13441513712397e16cf3710.tar.xz | |
reproducible: maintenance: reduce logparse noise when deleting old directories in /srv/reproducible-results
| -rwxr-xr-x | bin/reproducible_maintenance.sh | 2 | ||||
| -rw-r--r-- | logparse/reproducible.rules | 1 |
2 files changed, 1 insertions, 2 deletions
diff --git a/bin/reproducible_maintenance.sh b/bin/reproducible_maintenance.sh index dd935b3e..9b302b43 100755 --- a/bin/reproducible_maintenance.sh +++ b/bin/reproducible_maintenance.sh @@ -44,7 +44,7 @@ fi OLDSTUFF=$(find $REP_RESULTS -maxdepth 1 -type d -name "tmp.*" -mtime +2 -exec ls -lad {} \;) if [ ! -z "$OLDSTUFF" ] ; then echo - echo "Warning: old temp directories found in $REP_RESULTS" + echo "Old temp directories found in $REP_RESULTS" find $REP_RESULTS -maxdepth 1 -type d -name "tmp.*" -mtime +2 -exec rm -rv {} \; echo "These old directories have been deleted." echo diff --git a/logparse/reproducible.rules b/logparse/reproducible.rules index a53704ad..37bedbd6 100644 --- a/logparse/reproducible.rules +++ b/logparse/reproducible.rules @@ -4,7 +4,6 @@ warning /Warning: .+ is not a source package, or was removed or renamed. Please investigate./ warning /Warning: Download of .+ sources failed./ warning /Warning: .+ contains invalid yaml, please fix./ -warning /Warning: old temp directories found in .+/ warning /Warning: lock .+ still exists, exiting./ warning /Warning: Tried, but failed to delete these:/ warning /Warning: processes found which should not be there/ |