Re: [Xen-devel] [PATCH] x86: adjust EFI-related build message

2020-01-16 Thread Andrew Cooper
On 16/01/2020 09:01, Jan Beulich wrote: > As of commit 93249f7fc17c ("x86/efi: split compiler vs linker support"), > EFI support in xen.gz may be available even if no xen.efi gets > generated. Distinguish the cases when emitting the message. > > Also drop the pointlessly (afaict) left use of

[Xen-devel] [PATCH] x86: adjust EFI-related build message

2020-01-16 Thread Jan Beulich
As of commit 93249f7fc17c ("x86/efi: split compiler vs linker support"), EFI support in xen.gz may be available even if no xen.efi gets generated. Distinguish the cases when emitting the message. Also drop the pointlessly (afaict) left use of $(filter ...) (needed only when used in $(if ...)),