diff options
| author | Fabricio Voznika <fvoznika@google.com> | 2019-10-08 13:34:46 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2019-10-08 13:36:16 -0700 |
| commit | b9cdbc26bc676caeda1fdc1b30956888116a12be (patch) | |
| tree | 430088bff4a82dd23f6b1b6b793c988318a72e92 /pkg/sentry/device/BUILD | |
| parent | 016a269b5d600ceabc466287d5a4ef5ef42d6763 (diff) | |
Ignore mount options that are not supported in shared mounts
Options that do not change mount behavior inside the Sentry are
irrelevant and should not be used when looking for possible
incompatibilities between master and slave mounts.
PiperOrigin-RevId: 273593486
Diffstat (limited to 'pkg/sentry/device/BUILD')
0 files changed, 0 insertions, 0 deletions