* Nadav Amit <namit@xxxxxxxxxx> wrote: > at 1:58 AM, Rasmus Villemoes <linux@xxxxxxxxxxxxxxxxxx> wrote: > > > On 2018-09-18 23:28, Nadav Amit wrote: > > > >> diff --git a/arch/x86/Makefile b/arch/x86/Makefile > >> index 8f6e7eb8ae9f..944fa3bc9376 100644 > >> --- a/arch/x86/Makefile > >> +++ b/arch/x86/Makefile > >> @@ -214,8 +214,8 @@ ifdef CONFIG_X86_64 > >> KBUILD_LDFLAGS += $(call ld-option, -z max-page-size=0x200000) > >> endif > >> > >> -# Speed up the build > >> -KBUILD_CFLAGS += -pipe > >> +# We cannot use -pipe flag since we give an additional .s file to the compiler > >> +#KBUILD_CFLAGS += -pipe > > > > Is this really necessary? The gas manual says that one can use -- to > > name stdin, though that's probably a typo and should just be - . Doing > > > > gcc -pipe -Wa,foo.s -Wa,- > > Good idea. I didn’t think of it. Yes, this can do the trick. I’ll do it in > v9. Ok, will wait for v9. Thanks, Ingo