diff options
Diffstat (limited to 'bin/reproducible_maintenance.sh')
| -rwxr-xr-x | bin/reproducible_maintenance.sh | 13 |
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 |