diff options
author | Holger Levsen <holger@layer-acht.org> | 2015-02-20 21:42:41 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-02-20 21:42:41 +0100 |
commit | 6d36058eba73ee82e33792a1220150a1b135ffca (patch) | |
tree | b764c182e19cdd43579a8f7fd94890d2c4a4ea69 | |
parent | c5fd72e77766dae64832ce6285084a23de2d64a1 (diff) | |
download | jenkins.debian.net-6d36058eba73ee82e33792a1220150a1b135ffca.tar.xz |
reproducible: just summarize jenkins html log removal
-rwxr-xr-x | bin/reproducible_maintainance.sh | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/bin/reproducible_maintainance.sh b/bin/reproducible_maintainance.sh index bbffa231..dd035c9c 100755 --- a/bin/reproducible_maintainance.sh +++ b/bin/reproducible_maintainance.sh @@ -174,11 +174,10 @@ fi # delete jenkins html logs from reproducible_builder_* jobs as they are mostly redundant # (they only provide the extended value of parsed console output, which we dont need here.) -OLDSTUFF=$(find /var/lib/jenkins/jobs/reproducible_builder_* -maxdepth 3 -mtime +0 -name log_content.html -exec rm -v {} \;) +OLDSTUFF=$(find /var/lib/jenkins/jobs/reproducible_builder_* -maxdepth 3 -mtime +0 -name log_content.html -exec rm -v {} \; | wc -l) if [ ! -z "$OLDSTUFF" ] ; then echo - echo "Cleaning jenkins html logs:" - echo "$OLDSTUFF" + echo "Removed $OLDSTUFF jenkins html logs." echo fi |