From 0259bba352e835936fe154e0651af621069727e3 Mon Sep 17 00:00:00 2001 From: Holger Levsen Date: Thu, 29 Nov 2012 16:38:52 +0100 Subject: Use rm -rf --one-file-system to delete chroots, thanks to Andreas Beckmann for the idea. --- bin/d-i_builds.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'bin/d-i_builds.sh') diff --git a/bin/d-i_builds.sh b/bin/d-i_builds.sh index 79938b7f..516f427a 100755 --- a/bin/d-i_builds.sh +++ b/bin/d-i_builds.sh @@ -45,7 +45,7 @@ cleanup_all() { sudo umount -l $CHROOT_TARGET/run/lock || true sudo umount -l $CHROOT_TARGET/run/shm || true sudo umount -l $CHROOT_TARGET/run || true - sudo rm -rf $CHROOT_TARGET + sudo rm -rf --one-file-system $CHROOT_TARGET } execute_ctmpfile() { -- cgit v1.2.3-70-g09d2