Re: [Xen-devel] [PATCH] x86/EFI: fix build when using GNU Make 4.1

2017-02-02 Thread Jan Beulich
>>> On 02.02.17 at 23:46, wrote: > Since c/s eee5909e9d (x86/EFI: use less crude a way of generating the > build ID) builds have been broken when using GNU Make 4.1. This is > because there are no dependencies on buildid.o and as such GNU Make does > not build it. This adds a dependency so that it

[Xen-devel] [PATCH] x86/EFI: fix build when using GNU Make 4.1

2017-02-02 Thread Doug Goldstein
Since c/s eee5909e9d (x86/EFI: use less crude a way of generating the build ID) builds have been broken when using GNU Make 4.1. This is because there are no dependencies on buildid.o and as such GNU Make does not build it. This adds a dependency so that it is built. Note: This patch is different