diff options
| author | Jean-Sébastien Pédron <[email protected]> | 2019-07-30 10:13:06 +0200 |
|---|---|---|
| committer | Jean-Sébastien Pédron <[email protected]> | 2019-07-30 10:13:06 +0200 |
| commit | a9a667e5bc3da3eb6fbb515ae55a2e9ae08b0148 (patch) | |
| tree | 36d0836d85e89d78b26554e931215f981949f8ff /plugins/asciidoc.mk | |
| parent | 66ad59b16b9eaa0152e05e308111a79cfa286c83 (diff) | |
| download | erlang.mk-a9a667e5bc3da3eb6fbb515ae55a2e9ae08b0148.tar.gz erlang.mk-a9a667e5bc3da3eb6fbb515ae55a2e9ae08b0148.tar.bz2 erlang.mk-a9a667e5bc3da3eb6fbb515ae55a2e9ae08b0148.zip | |
Fix concurrent creation of `recursive-*deps-list.log` files
To do that, we simply include the PID of the Make process in temporary
file.
We also compare the finished temporary file with the actual target file.
If they are different, the temporary file is moved to the final target,
otherwise, we just get rid of the temporary file. This way, the target
timestamp stays the same if the content does not change.
Diffstat (limited to 'plugins/asciidoc.mk')
0 files changed, 0 insertions, 0 deletions