bug-make
[Top][All Lists]
Advanced

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

Re: GNU make troubleshooting


From: Paul Smith
Subject: Re: GNU make troubleshooting
Date: Mon, 17 Jul 2023 08:54:17 -0400
User-agent: Evolution 3.48.3 (by Flathub.org)

On Sat, 2023-07-15 at 11:28 -0400, Dmitry Goncharov wrote:
> Appendix A Debug Output.

Thanks for this Dmitry; I spent some time this weekend working on a new
section of the manual that would overlap with this.  However I will
definitely examine your patch and make sure the points you (and
everyone else who replied) made are covered.

The way I have things organized it probably doesn't work to put the
notes about simplifying the makefile processing (by adding explicit
rules for makefiles, for example) into that section, but that this is
important info.  It is actually already mentioned, a bit, in the
section "How Makefiles Are Remade" but perhaps should go into a
different, maybe new, section.  I will add this somewhere and make sure
things are linked.

I'll post a version for comments in a day or two.

Cheers!



reply via email to

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