On Thu, 25 Aug 2022 09:57:32 +0200
Peter Zijlstra <pet...@infradead.org> wrote:

> On Wed, Aug 24, 2022 at 06:36:27PM -0500, Glenn Washburn wrote:
> > You will need to run the bootstrap script in the root of the repo to
> > rebuild the build scripts before running configure and make.
> 
> FWIW bootstrap scribbles INSTALL

Its been a while since I've looked at this. But I believe that INSTALL
is copied to INSTALL.grub. Is INSTALL getting overwritten with a
default INSTALL not related to GRUB? I'm unsure of what you're really
wanting to convey here. Something actionable?

Glenn

_______________________________________________
Grub-devel mailing list
Grub-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/grub-devel

Reply via email to