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
