diff options
| author | bors <bors@rust-lang.org> | 2015-03-03 17:07:57 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2015-03-03 17:07:57 +0000 |
| commit | 129173f1980e9ac03f7ef0fc0193c41235d07649 (patch) | |
| tree | dab668eb164f53b4d3aaabc57e3d5f09da32159f /src | |
| parent | 14f0942a49b77f81d0bedb3d8b5fb615ef521bb3 (diff) | |
| parent | 62aa899e3df026086723773775e704862b710f24 (diff) | |
| download | rust-129173f1980e9ac03f7ef0fc0193c41235d07649.tar.gz rust-129173f1980e9ac03f7ef0fc0193c41235d07649.zip | |
Auto merge of #22997 - pnkfelix:make-timestamps-robust-to-concurrent-edits, r=nikomatsakis
Make build timestamp files robust in face of concurrent source modification. Strategy: If the end goal is to touch e.g. `stamp.std`, then we first touch `stamp.std.start_time` before doing anything else. Then when the receipe finishes, we touch `stamp.std` using the timestamp from `stamp.std.start_time` as the reference time, and remove `stamp.std.start_time`. Fix #6518.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions