[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: GNU make troubleshooting
From: |
Alejandro Colomar |
Subject: |
Re: GNU make troubleshooting |
Date: |
Sun, 27 Aug 2023 16:02:23 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.13.1 |
Hi Paul,
On 2023-08-27 15:52, Paul Smith wrote:
> 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.
Hmm.
>
> You shouldn't rely on users having access to it, unless you're willing
> to recommend that version (or higher).
Well, I'm the only one developing that Makefile. I don't expect others
to need it often, as long as I don't break it too badly. And since I
already require some latest versions of software for development,
requiring make-4.4 is not too much of a stretch. I can live with it.
This reminded me that Debian still has make-4.3. I've added the
maintainer to the thread, in case they hadn't noticed that there was a
new version.
Cheers,
Alex
>
> 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.
>
--
<http://www.alejandro-colomar.es/>
GPG key fingerprint: A9348594CE31283A826FBDD8D57633D441E25BB5
OpenPGP_signature
Description: OpenPGP digital signature
- 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, 2023/08/27
- Re: GNU make troubleshooting,
Alejandro Colomar <=
- 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