diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2016-12-08T20·38+0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2016-12-08T20·38+0100 |
| commit | b30d1e7ada0a8fbaacc25e24e5e788d18bfe8d3c (patch) | |
| tree | 235871d7e3b61c031ce2370ef1dbc7a0c576fa93 /bootstrap.sh | |
| parent | 88ef77226e0a395a0151297c295843d2e39f24d5 (diff) | |
Don't delete .check directories of running builds
We need to keep them around for diffoscope.
Diffstat (limited to 'bootstrap.sh')
0 files changed, 0 insertions, 0 deletions