summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorintrigeri <intrigeri@boum.org>2016-12-19 14:28:25 +0000
committerintrigeri <intrigeri@boum.org>2016-12-19 14:31:40 +0000
commit0abe7d55164bb658e8e5ef69f556bdd13a4c6bf2 (patch)
tree491661900934e55fee7816ff05b722c133210d1f
parent881d4b2cf47d37d6e74d1696fe9c34830255b429 (diff)
Avoid failing the build when there's no open file in the tmpfs (refs: #12009).
-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 3f9a3ed..ba9856c 100755
--- a/vagrant/provision/assets/build-tails
+++ b/vagrant/provision/assets/build-tails
@@ -29,7 +29,7 @@ cleanup() {
remove_build_dirs() {
for mountpoint in $(old_build_dirs | tac) ; do
- sudo lsof | grep --fixed-strings "on $mountpoint"
+ sudo lsof | grep --fixed-strings "on $mountpoint" || true
sudo umount -f -l "$mountpoint"
sudo rm -rf "$mountpoint"
done