Update of bug #38626 (project make):
Status: None => Fixed
Open/Closed: Open => Closed
Fixed Release: None => SCM
Triage Status: None => Verified
_______________________________________________________
Follow-up Comment #1:
Thanks for the report and the patch.
I think this bug is already solved in the git repository, albeit somewhat
differently. Make now always increments the counter of the batch files
_before_ trying to create a new batch file. So if a file named
make-NNNN-1.bat was already created in the current Make run (where NNNN is the
PID of the Make process), the next batch file will be make-NNNN-2.bat; Make
will not try reusing make-NNNN-1.bat, unless it tries all the 64K possible
numbers, and starts reusing numbers it already used in the same run.
I needed this change for "make -j", where several batch files might be used
simultaneously, and cannot possibly be deleted anyway, because some job is
still using them.
So I'm closing this bug. Please try the git code and see if the problem still
persists. If it does, please reopen this bug with details.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?38626>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
_______________________________________________
Bug-make mailing list
Bug-make@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-make
