Re: export vs $(origin )

2020-07-02 Thread Dmitry Goncharov via Bug reports and discussion for GNU make
On Thu, Jul 2, 2020 at 11:22 AM Jan Beulich wrote: > Not according to my observations. You are right. regards, Dmitry

Re: export vs $(origin )

2020-07-02 Thread Paul Smith
On Thu, 2020-07-02 at 17:16 +0200, Jan Beulich wrote: > > export wom > > introduces the variable to the env and set origin to environment. > > Not according to my observations. The difference is whether the variable already exists in the environment or not. For this makefile: export FOO $(i

Re: export vs $(origin )

2020-07-02 Thread Jan Beulich
On 02.07.2020 17:01, Dmitry Goncharov wrote: > On Thu, Jul 2, 2020 at 8:49 AM Jan Beulich wrote: >> is it really intended for "export" >> without any assignment done at the same time to change the origin of a >> previously undefined variable from "undefined" to "file"? > > "export" without any as

Re: export vs $(origin )

2020-07-02 Thread Dmitry Goncharov via Bug reports and discussion for GNU make
On Thu, Jul 2, 2020 at 8:49 AM Jan Beulich wrote: > is it really intended for "export" > without any assignment done at the same time to change the origin of a > previously undefined variable from "undefined" to "file"? "export" without any assignment done at the same time sets the origin to "env

export vs $(origin )

2020-07-02 Thread Jan Beulich
Hello, with documentation stating "As a convenience, you can define a variable and export it at the same time by doing: ..." It being merely a convenience, is it really intended for "export" without any assignment done at the same time to change the origin of a previously undefined variable fro