diff options
| author | John Wiegley <johnw@newartisans.com> | 2009-03-08 18:46:25 -0400 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2009-03-08 18:46:25 -0400 |
| commit | 6154b9e794942bae557516a358e1bc3d665b60db (patch) | |
| tree | 25e86c7bf0be0ecaf5b4216c6c7177108f143ccc /tools/proof | |
| parent | 7b2d75904c8f93cbec40bdc3905ba81f48f84853 (diff) | |
| download | fork-ledger-6154b9e794942bae557516a358e1bc3d665b60db.tar.gz fork-ledger-6154b9e794942bae557516a358e1bc3d665b60db.tar.bz2 fork-ledger-6154b9e794942bae557516a358e1bc3d665b60db.zip | |
Avoid a race condition when making directories
This can happen when doing a concurrent build with -jX.
Diffstat (limited to 'tools/proof')
0 files changed, 0 insertions, 0 deletions