I was hoping somebody who knows the differences would add to the
section. I barely know how to use make.
___
Bug-make mailing list
Bug-make@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-make
> "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
