summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xbin/reproducible_maintenance.sh13
1 files changed, 0 insertions, 13 deletions
diff --git a/bin/reproducible_maintenance.sh b/bin/reproducible_maintenance.sh
index bec96f39..71a2da79 100755
--- a/bin/reproducible_maintenance.sh
+++ b/bin/reproducible_maintenance.sh
@@ -181,19 +181,6 @@ fi
set -e
# delete old temp directories
-# (delete this by the end of Feb 2017 after there are no more stale dirs in
-# $REP_RESULTS and everything moved into $REP_RESULSTS/rbuild-debian/)
-echo "$(date -u) - Deleting temp directories, older than 3 days."
-OLDSTUFF=$(find $REP_RESULTS -maxdepth 1 -type d -mtime +2 -name "tmp.*" -o -mtime +2 -name "rbuild*" -exec ls -lad {} \; || true)
-if [ ! -z "$OLDSTUFF" ] ; then
- echo
- echo "Old temp directories found in $REP_RESULTS"
- find $REP_RESULTS -maxdepth 1 -type d -mtime +2 -name "tmp.*" -o -mtime +2 -name "rbuild*" -exec rm -rv {} \; || true
- echo "These old directories have been deleted."
- echo
- DIRTY=true
-fi
-# delete old temp directories
echo "$(date -u) - Deleting temp directories, older than 3 days."
OLDSTUFF=$(find $REP_RESULTS/rbuild-debian -maxdepth 1 -type d -mtime +2 -name "tmp.*" -exec ls -lad {} \; || true)
if [ ! -z "$OLDSTUFF" ] ; then