HI All:
When I build my big project , the make takes about 2.45 minutes to include all
makefile and then start to build.One question:Can Make store the makefile datas
for the next build, especially for the incremental building.
I thinks this is a good feature for make.
thanks :)_
> "EW" == Edward Welbourne writes:
EW> They're not quite equivalent, although an example like the one you give
EW> may be a good one for the documentation to explore in explaining what
EW> the difference is.
Yes that is what I hope will be done.
_
積丹尼 Dan Jacobson writes:
> (info "(make) Environment") should mention how equivalent
> $ a=b make #and
> $ make a=b
> are to each other.
> See also http://debbugs.gnu.org/29270
But they're not the same. The second one will override a setting of
'a' in the Makefile, the first one won't.
Robert
On Nov 21 2017, Edward Welbourne wrote:
> I can't remember what happens if you use += in the make-file: I'm fairly
> sure it extends whatever you had in the environment, but I can't
> remember whether it extends a value set on the command-line.
It doesn't.
Andreas.
--
Andreas Schwab, SUSE Lab
Dan Jacobson (20 November 2017 23:50)
> (info "(make) Environment") should mention how equivalent
> $ a=b make #and
> $ make a=b
> are to each other.
> See also http://debbugs.gnu.org/29270
They're not quite equivalent, although an example like the one you give
may be a good one for the documentat
