Bug#575731: [tex-k] tex/pdftex -recorder works incorrectly on parrallel TeX runs (race, breaks make -j)

[Vladimir Volovich <vvv@vsu.ru>]

"NP" == Norbert Preining writes:

> it seems that appending a PID number is a wrong idea. users should not
> do this, since it is documented that the name of the fls file will be
> derived from the base name of the input file. so this scenario is not a
> race.

ok, i see that appending PID was about the temporary file, before
renaming to basename.fls? if so, i apologise. (though there may still be
a similar race with the log files)

Best,
v.