On 3 February 2017 at 15:17, Will Deacon <will.deacon@xxxxxxx> wrote: > 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. > Cheers -- 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