diff options
| author | Adin Scannell <ascannell@google.com> | 2021-01-12 22:23:13 -0800 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2021-01-12 22:25:46 -0800 |
| commit | fb95e13df5749082e4be0a2b5c470dd09f1f8554 (patch) | |
| tree | 8a05ce23c784c1c01984ff3df41bc8f64798383d /pkg/usermem | |
| parent | e74aa25e2289878fdbfc7affdd2e031be3a99b31 (diff) | |
Don't remove release directory.
If the release directory is a parent directory (for reasons), then this causes
a few problems (to say the least).
PiperOrigin-RevId: 351515882
Diffstat (limited to 'pkg/usermem')
0 files changed, 0 insertions, 0 deletions