summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xvagrant/provision/assets/build-tails2
1 files changed, 1 insertions, 1 deletions
diff --git a/vagrant/provision/assets/build-tails b/vagrant/provision/assets/build-tails
index 97dca16..73bce7b 100755
--- a/vagrant/provision/assets/build-tails
+++ b/vagrant/provision/assets/build-tails
@@ -30,7 +30,7 @@ cleanup() {
remove_build_dirs() {
for mountpoint in $(old_build_dirs | tac) ; do
sudo lsof | grep --fixed-strings "$mountpoint" || true
- sudo umount -f "$mountpoint"
+ sudo umount -f --verbose "$mountpoint"
sudo rm -rf "$mountpoint"
done
}