[bug #60595] make doesn't always restart when a makefile is rebuilt

[Paul D. Smith]

Follow-up Comment #6, bug #60595 (project make):

I understand that today, make won't throw an error.

I'm saying that _after_ we fix this issue so that make recognizes that a file
needed to be rebuilt, then make could throw an error.

Put another way, in my mind the fact that an included file can't be read is
separate from the process make may use to rebuild the included file.  Or to be
specific if, after make has tried to rebuild all the makefiles and determines
that it doesn't need to re-exec itself, it's still the case that some makefile
which _should_ have been read in _could not_ be read in, then that seems like
an error to me regardless of whether make invoked some rule to build the
makefile or not.


    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?60595>

_______________________________________________
  Message sent via Savannah
  https://savannah.gnu.org/