[bug #38626] make fails on windows with antivirus software

[Eli Zaretskii]

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/