[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
- Re: GNU make troubleshooting, Paul Smith, 2023/08/26
- Re: GNU make troubleshooting, Eli Zaretskii, 2023/08/27
- Re: GNU make troubleshooting, Paul Smith, 2023/08/27
- Re: GNU make troubleshooting, Alejandro Colomar, 2023/08/27
- Re: GNU make troubleshooting, Paul Smith, 2023/08/27
- Re: GNU make troubleshooting, Paul Smith, 2023/08/27
- Re: GNU make troubleshooting, Alejandro Colomar, 2023/08/27
- Re: GNU make troubleshooting, Alejandro Colomar, 2023/08/27
- Re: GNU make troubleshooting,
Paul Smith <=
- Re: GNU make troubleshooting, Alejandro Colomar, 2023/08/27
- Re: GNU make troubleshooting, David Boyce, 2023/08/29
- Re: GNU make troubleshooting, Paul Smith, 2023/08/29
- Re: GNU make troubleshooting, Eli Zaretskii, 2023/08/27
- Re: GNU make troubleshooting, Paul Smith, 2023/08/27
Re: GNU make troubleshooting, Alejandro Colomar, 2023/08/27