[bug #47399] include sometimes fails for built files

[Paul D. Smith]

Update of bug #47399 (project make):

              Item Group:                     Bug => Enhancement            
                  Status:               Not A Bug => None                   

    _______________________________________________________

Follow-up Comment #2:

Actually I'm going to reopen this as an enhancement.

One thing GNU make could do would be, if some makefile cannot be included and
cannot be built, if any makefile has already been built then rather than
failing we'll try to re-exec.

I think this shouldn't be a backward-incompatibility.

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?47399>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/