RE: Ping: [PATCH] build: tweak variable exporting for make 3.82

2020-07-02 Thread Paul Durrant
Subject: Ping: [PATCH] build: tweak variable exporting for make 3.82 > > On 29.06.2020 18:30, Anthony PERARD wrote: > > On Fri, Jun 26, 2020 at 05:02:30PM +0200, Jan Beulich wrote: > >> While I've been running into an issue here only because of an additional > >>

Ping: [PATCH] build: tweak variable exporting for make 3.82

2020-07-02 Thread Jan Beulich
On 29.06.2020 18:30, Anthony PERARD wrote: > On Fri, Jun 26, 2020 at 05:02:30PM +0200, Jan Beulich wrote: >> While I've been running into an issue here only because of an additional >> local change I'm carrying, to be able to override just the compiler in >> $(XEN_ROOT)/.config (rather than the who