summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorintrigeri <intrigeri@boum.org>2016-12-19 13:23:14 +0000
committerintrigeri <intrigeri@boum.org>2016-12-19 13:23:14 +0000
commit881d4b2cf47d37d6e74d1696fe9c34830255b429 (patch)
tree5a2f37b738e330e484ffcf518d012bdb4315265d
parentc2f09ce2a87d8962964ce7c820be32088c814027 (diff)
Have build-tails print some possibly useful debugging info (refs: #12009).
-rwxr-xr-xvagrant/provision/assets/build-tails1
1 files changed, 1 insertions, 0 deletions
diff --git a/vagrant/provision/assets/build-tails b/vagrant/provision/assets/build-tails
index 23da292..3f9a3ed 100755
--- a/vagrant/provision/assets/build-tails
+++ b/vagrant/provision/assets/build-tails
@@ -29,6 +29,7 @@ cleanup() {
remove_build_dirs() {
for mountpoint in $(old_build_dirs | tac) ; do
+ sudo lsof | grep --fixed-strings "on $mountpoint"
sudo umount -f -l "$mountpoint"
sudo rm -rf "$mountpoint"
done