Pierre Langlois writes: >> And if I remove it then the error goes away! The build hasn't finished >> yet for me, but it's gone past the offending xor-neon.c file so we >> /should/ be good. >> >> I'm not really sure why though, do you know why this phase was required >> at the time? I haven't tested that linux-libre still builds on x86 with >> this phase removed yet, trying it now. > > OK, I've now built kernels with the attached patch on the kernel-updates > branch for x86_64 and aarch64! I've also tested with > --system=armhf-linux on the softiron and --system=i868-linux on my x86 > desktop, it all looks good! > * gnu/packages/linux.scm (make-linux-libre)[arguments]: Remove > 'work-around-gcc-7-include-path-issue phase. > --- > gnu/packages/linux.scm | 6 +----- > 1 file changed, 1 insertion(+), 5 deletions(-) > > diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm > index 41991c9e45..d63755d791 100644 > --- a/gnu/packages/linux.scm > +++ b/gnu/packages/linux.scm > @@ -35,6 +35,7 @@ > ;;; Copyright © 2019 Tim Gesthuizen > ;;; Copyright © 2019 Maxim Cournoyer > ;;; Copyright © 2019 Stefan Stefanović > +;;; Copyright © 2019 Pierre Langlois Whoops, I hadn't realized I had edited this file before, see attached for a fixed patch.