diff options
| author | Andrei Vagin <avagin@google.com> | 2020-03-20 17:19:06 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2020-03-20 17:20:24 -0700 |
| commit | d5fe1ce0c1c551c3165632eecc0ea5589c049bd5 (patch) | |
| tree | 0e68058a5ea20d55315e66b2fd9259983a1dd0e7 /tools | |
| parent | 1bf2e52bdb5f366b397cb887d4cbdb91dd5e3213 (diff) | |
test: Create a separate /tmp mount only for tests with the shared tag
The root mount is not shared by default, but all other mounts are shared.
So if we create the /tmp mount, this means that we run tests on a shared mount
even if tests run without the --shared option.
PiperOrigin-RevId: 302130790
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions