On Fri, Feb 03, 2017 at 02:50:40PM +0000, Ard Biesheuvel wrote: > On 2 February 2017 at 18:36, Ard Biesheuvel <ard.biesheuvel@xxxxxxxxxx> wrote: > > On 2 February 2017 at 18:30, Will Deacon <will.deacon@xxxxxxx> wrote: > >> On Thu, Feb 02, 2017 at 05:33:19PM +0000, Ard Biesheuvel wrote: > > diff --git a/arch/arm64/kernel/Makefile b/arch/arm64/kernel/Makefile > > index 2600c60337ac..1606c6b2a280 100644 > > --- a/arch/arm64/kernel/Makefile > > +++ b/arch/arm64/kernel/Makefile > > @@ -57,5 +57,5 @@ head-y := head.o > > extra-y += $(head-y) vmlinux.lds > > > > ifeq ($(CONFIG_DEBUG_EFI),y) > > -AFLAGS_head.o += -DVMLINUX_PATH="\"$(shell readlink -f $(objtree)/vmlinux)\"" > > +AFLAGS_head.o += -DVMLINUX_PATH="\"$(realpath $(objtree)/vmlinux)\"" > > endif > > > > > >> Do you want me to merge this via arm64? > >> > > > > Yes, please > > Should I respin this? No need, I'll pick it up and make the change. I'll push out before I leave work this evening. Will -- To unsubscribe from this list: send the line "unsubscribe linux-efi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html