[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: all commands should be echoed with "make -d"
From: |
Jonathan Nieder |
Subject: |
Re: all commands should be echoed with "make -d" |
Date: |
Tue, 15 Feb 2011 12:04:34 -0600 |
User-agent: |
Mutt/1.5.21 (2010-09-15) |
David Highley wrote:
> "Jonathan Nieder wrote:"
>> Vincent Lefevre wrote[1]:
>>> Debugging would be much easier if all commands are echoed (i.e.
>>> including those starting with '@') with "make -d".
[...]
> Why do we need to modify make when what your asking for is easily
> created by thoughtful makefile construction.
Because it's useful for debugging other people's makefiles and
involves modifying "make" once instead of every makefile in existence?
Anyway, turns out this was implemented in 3.82.90 (Implement the
--trace flag, 2010-08-29). Thanks, Paul! Sorry for the noise.
Kind regards,
Jonathan