summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMattia Rizzolo <mattia@mapreri.org>2015-04-10 14:40:18 +0200
committerHolger Levsen <holger@layer-acht.org>2015-04-11 15:09:10 +0200
commitcb14ba6ffb535dc8d58b423538451b2afe3675b5 (patch)
tree2cde674ceee86ae78bfcb7aa619edb0c62d13fc6
parentbb7291488fe826ea8745653146bc62386035f4bd (diff)
downloadjenkins.debian.net-cb14ba6ffb535dc8d58b423538451b2afe3675b5.tar.xz
reproducible: maintenance: remove old schroots with the --one-file-system (also as specified in the sudoers file)
-rwxr-xr-xbin/reproducible_maintenance.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_maintenance.sh b/bin/reproducible_maintenance.sh
index 9b8221d7..341c93a7 100755
--- a/bin/reproducible_maintenance.sh
+++ b/bin/reproducible_maintenance.sh
@@ -52,7 +52,7 @@ OLDSTUFF=$(find /schroots/ -maxdepth 1 -type d -name "reproducible-*-*" -mtime +
if [ ! -z "$OLDSTUFF" ] ; then
echo
echo "Warning: old schroots found in /schroots, which have been deleted:"
- find /schroots/ -maxdepth 1 -type d -name "reproducible-*-*" -mtime +2 -exec sudo rm -rf {} \;
+ find /schroots/ -maxdepth 1 -type d -name "reproducible-*-*" -mtime +2 -exec sudo rm -rf --one-file-system {} \;
echo "$OLDSTUFF"
echo
DIRTY=true