diff options
| author | Mattia Rizzolo <mattia@debian.org> | 2017-02-24 19:14:34 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2017-02-24 19:48:33 +0100 |
| commit | 60d61c12ba201d849f4d010bac23d34cd09321c0 (patch) | |
| tree | e60e282bc277a61a8e306cd197b4666e0e04caba | |
| parent | 38996b1ac04e8164c83c085ad5cee748cec38e0c (diff) | |
| download | jenkins.debian.net-60d61c12ba201d849f4d010bac23d34cd09321c0.tar.xz | |
reproducible debian: maintenance: drop old temporary code dealing with old temp files not created anymore
Signed-off-by: Holger Levsen <holger@layer-acht.org>
| -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 |