[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 15:47:35 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.13.1 |
On 2023-08-27 15:35, Alejandro Colomar wrote:
> On 2023-08-27 15:33, Paul Smith wrote:
>> On Sun, 2023-08-27 at 09:26 -0400, Paul Smith wrote:
>>> Yes, that's a good idea to mention .SILENT.
>>
>> Actually I think I will simply recomment using --debug=print instead as
>> that's simpler.
>
> LGTM. That's much better, as you don't modify the Makefile,
> and seems to have been added explicitly for this reason. :)
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.
Cheers,
Alex
>
> Cheers,
> Alex
>
>>
>
--
<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 <=
- Re: GNU make troubleshooting, Paul Smith, 2023/08/27
- 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