diff options
author | 2017-10-12 14:25:59 +0200 | |
---|---|---|
committer | 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