[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Paul D. Smith
Subject: [bug #60595] make doesn't always restart when a makefile is rebuilt
Date: Tue, 1 Jun 2021 08:18:54 -0400 (EDT)
User-agent: Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/91.0.4472.77 Safari/537.36

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:


  Message sent via Savannah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]