summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorintrigeri <intrigeri@boum.org>2016-12-20 07:31:28 +0000
committerintrigeri <intrigeri@boum.org>2016-12-20 11:31:09 +0000
commit0c3b0369eadeda4bf44d717af65233e79829f220 (patch)
treeea208edf43a80deb4fcc6244eaa95f501b967443
parent192a1e571b4e2231ccd85c3485a35750593bbbf8 (diff)
build-tails: drop the -l (lazy) option from the umount call (refs: #12009).
If the build tmpfs cannot be unmounted in practice, then the space it uses remains as occupied cached memory, which fails the next build. So let's try to *really* unmount it.
-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 06d1a4c..97dca16 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 -l "$mountpoint"
+ sudo umount -f "$mountpoint"
sudo rm -rf "$mountpoint"
done
}