Mark Kettenis <[email protected]> wrote: > > Date: Mon, 2 Sep 2019 17:32:04 +0200 > > From: Christian Weisgerber <[email protected]> > > > > This drops support for building the armv7 kernel with gcc and reduces > > the difference to arm64. > > > > I can't test this. > > > > OK? Or it can be rolled into somebody else's larger "remove gcc > > from armv7" diff. > > If we're keeping the gcc bits on other architectures, it makes sense > to keep it here as well. Helps with diffability and someone might > want to run the same tools for armv7 at some point.
Perhaps, perhaps. It is fragile. These stanzas will break. When they do, someone has to tweak them to get gcc to build the kernel. But at least they have a starting point, so that's not terribly bad. So yeah, maybe let's keep that around. I also consider it very important that we try to keep the Makefile.* files on all the architectures "maximally diffable". Another aspect where we don't need surprises.
