diff options
| author |  Philipp Wollermann <philwo@google.com> | 2016-09-26 16:21:22 +0000 |
|---|---|---|
| committer |  Yun Peng <pcloudy@google.com> | 2016-09-26 17:49:03 +0000 |
| commit | a7827c8d1b4f6d3adc0c247adab34310ae3cc566 (patch) | |
| tree | 63d8523ed52ed4f4349905d1c436196f5e7d2840 /src/tools | |
| parent | a27949e27d4335216c28e77c41d078e338b5d4fb (diff) | |
Fix an issue where a "build" command might hang after it finished, because sandbox directories could not be cleaned up.
--
MOS_MIGRATED_REVID=134286101
Diffstat (limited to 'src/tools')
0 files changed, 0 insertions, 0 deletions