On October 2, 2018 3:59:52 AM PDT, Ingo Molnar <mingo@xxxxxxxxxx> wrote: > >* 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 Does -pipe actually win anything these days? -- Sent from my Android device with K-9 Mail. Please excuse my brevity.
