diff options
author | Nicolas Lacasse <nlacasse@google.com> | 2019-02-27 09:44:45 -0800 |
---|---|---|
committer | Shentubot <shentubot@google.com> | 2019-02-27 09:45:45 -0800 |
commit | d516ee3312411c60630305cfaac6c5a0e21537e8 (patch) | |
tree | 9b61b3f5895b99428a329ab6f2b790bdf029be40 /pkg/sentry/BUILD | |
parent | cff2c57192ccd5ccf4cec6280afcd724dc1135d1 (diff) |
Allow overlay to merge Directories and SepcialDirectories.
Needed to mount inside /proc or /sys.
PiperOrigin-RevId: 235936529
Change-Id: Iee6f2671721b1b9b58a3989705ea901322ec9206
Diffstat (limited to 'pkg/sentry/BUILD')
0 files changed, 0 insertions, 0 deletions