diff options
author | 2017-03-15 12:11:55 +0000 | |
---|---|---|
committer | 2017-03-16 08:34:19 +0000 | |
commit | 0d77ed6f90118cc97cdf97ff0fe969902fad14c6 (patch) | |
tree | 1443093fe4df9ba1b2642b857bbd656750701f74 /src/main/java/com/google/devtools/build/lib/util/ProcessUtils.java | |
parent | 39014167557d0eb2c2f140e9a48a753e1200e9c2 (diff) |
A quick fix for benchmark: clean the first removed result, and add "--expunge".
--
PiperOrigin-RevId: 150179734
MOS_MIGRATED_REVID=150179734
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/util/ProcessUtils.java')
0 files changed, 0 insertions, 0 deletions