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: Sun, 27 Aug 2023 09:52:08 -0400
User-agent: Evolution 3.48.4 (by Flathub.org)

On Sun, 2023-08-27 at 15:47 +0200, Alejandro Colomar wrote:
> In fact, I'm going to define .SILENT always in the Linux man-pages,
> since V=1 is just an unnecessary duplicate for --degub=print.
> I'll make V=1 only have the effect of redirecting stderr of certain
> programs.

Just be aware that --debug=print is a new feature as of GNU Make 4.4.

You shouldn't rely on users having access to it, unless you're willing
to recommend that version (or higher).

I reminded myself that the --trace option is a shortcut for
--debug=print,why and so I will rework all this help text to just
recommend this instead.  It gives you most of the information you would
want.

-- 
Paul D. Smith <psmith@gnu.org>            Find some GNU make tips at:
https://www.gnu.org                       http://make.mad-scientist.net
"Please remain calm...I may be mad, but I am a professional." --Mad
Scientist



reply via email to

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