bug-make
[Top][All Lists]
Advanced

[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

Attachment: OpenPGP_signature
Description: OpenPGP digital signature


reply via email to

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