> but I wonder, why use intermediate file for recorder at all? Why not to > open $(jobname).fls in the first place?
Don't want to overwrite the file from a previous run, I suppose. I'm not enthused about using mkstemp (and providing a fallback), but perhaps we can add the pid to the temp file name, or something. Will contemplate. Thanks for the report, k -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org