summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2015-02-15 17:54:53 +0100
committerHolger Levsen <holger@layer-acht.org>2015-02-15 17:54:53 +0100
commit489b7b3f53d6b19351b932068fa578689d3180b3 (patch)
tree341b38ae4cdf85ebae58c62f7190984314d961bf
parenta9fb9c925b3dfdb9c0c359b5fe22e69c750b8fba (diff)
downloadjenkins.debian.net-489b7b3f53d6b19351b932068fa578689d3180b3.tar.xz
reproducible: actually delete old tmp directories
-rwxr-xr-xbin/reproducible_maintainance.sh5
1 files changed, 2 insertions, 3 deletions
diff --git a/bin/reproducible_maintainance.sh b/bin/reproducible_maintainance.sh
index 8be802bd..b6977601 100755
--- a/bin/reproducible_maintainance.sh
+++ b/bin/reproducible_maintainance.sh
@@ -36,13 +36,12 @@ fi
# provide copy for external backups
cp -v $PACKAGES_DB /var/lib/jenkins/userContent/
-# find and warn about old temp directories
+# delete old temp directories
OLDSTUFF=$(find $REP_RESULTS -type d -name "tmp.*" -mtime +2 -exec ls -lad {} \;)
if [ ! -z "$OLDSTUFF" ] ; then
echo
echo "Warning: old temp directories found in $REP_RESULTS"
- echo "$OLDSTUFF"
- echo "Please cleanup manually."
+ find $REP_RESULTS -type d -name "tmp.*" -mtime +2 -exec rm -rv {} \;
echo
DIRTY=true
fi