]> git.lizzy.rs Git - rust.git/commit
Auto merge of #22997 - pnkfelix:make-timestamps-robust-to-concurrent-edits, r=nikomat...
authorbors <bors@rust-lang.org>
Tue, 3 Mar 2015 17:07:57 +0000 (17:07 +0000)
committerbors <bors@rust-lang.org>
Tue, 3 Mar 2015 17:07:57 +0000 (17:07 +0000)
commit129173f1980e9ac03f7ef0fc0193c41235d07649
treedab668eb164f53b4d3aaabc57e3d5f09da32159f
parent14f0942a49b77f81d0bedb3d8b5fb615ef521bb3
parent62aa899e3df026086723773775e704862b710f24
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.