diff options
| author |  Benjamin Peterson <bp@benjamin.pe> | 2017-10-12 14:25:59 +0200 |
|---|---|---|
| committer |  Marcel Hlopko <hlopko@google.com> | 2017-10-13 13:51:27 +0200 |
| commit | ef143b46a48e3039e3a3ae6b4db3a0ab5210bbbb (patch) | |
| tree | 7fbed3f3ed3f42e157c57e60b1141aa4f8c11e0e /src/test/java/com/google/devtools/build/lib/syntax/PrinterTest.java | |
| parent | 4646a9ab2602e62aa8a18c25beda2dac12cf5320 (diff) | |
Only delete the current execroot in clean.
I noticed a problem where if you have a workspace with basename
"server", clean will rudely delete the server's pid file and cause it
to commit suicide. This is because clean deletes the deep and non-deep
execroot, presumably temporarily as part of the deep execroot
migration. --deep_execroot has been enabled for more than a year now,
so hopefully we can safely remove this aggressive deleting. --expunge
can take care of old execroots if needed.
Change-Id: I445b0d7cedf2fb9a6a365eacc85b75428a981640
PiperOrigin-RevId: 171948100
Diffstat (limited to 'src/test/java/com/google/devtools/build/lib/syntax/PrinterTest.java')
0 files changed, 0 insertions, 0 deletions