| Index: src/scripts/enter_chroot.sh
|
| diff --git a/src/scripts/enter_chroot.sh b/src/scripts/enter_chroot.sh
|
| index 00b9e647946a0c9aca588af00f9459171e24fb28..3c196a93136cd46c1c2257dd383092646308cd2c 100755
|
| --- a/src/scripts/enter_chroot.sh
|
| +++ b/src/scripts/enter_chroot.sh
|
| @@ -134,6 +134,10 @@ function setup_env {
|
| function teardown_env {
|
| # Only teardown if we're the last enter_chroot to die
|
|
|
| + # We should not return with an error if cleanup has an error. Cleanup is
|
| + # best effort only.
|
| + set +e
|
| +
|
| (
|
| flock 200
|
|
|
|
|