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