Follow-up Comment #5, bug #63157 (project make):
> This should be tested on MS-Windows. A file can only be deleted on
MS-Windows if it isn't open by any program, and the patch (AFAICT) doesn't
make sure the files are closed before unlinking them. I'm especially worried
about the temp_stdin_unlink part.
If the file is opened at the time of unlink, only file's name is removed from
the directory and the file itself stays. When make exits the last reference to
the file is gone and the file is deleted.
> (Btw, why does the patch use `unlink` instead of a more standard `remove`?)
unlink is used, rather than remove, to stay uniform with the rest of the code,
which uses unlink.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?63157>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
