Make build timestamp files robust to concurrent source modification.#22997

Merged

bors merged 1 commit intorust-lang:masterfrom

pnkfelix:make-timestamps-robust-to-concurrent-edits

Mar 3, 2015

Commits on Mar 3, 2015

Make build timestamp files robust in face of concurrent source modification.
pnkfelix
committed