On Tue, Jun 10, 2025 at 11:15 PM Andrew Hamilton <adham...@gmail.com> wrote: > > Fix several issues with attempting to create and build from the > GRUB 'dist' archive. > > 1. extra_deps.lst is now automatically generated so remove this > from the archive to avoid a dependency on running make first. > > 2. Add additional header files to the dist archive. > > The first patch is a resend of Mike Gilbert's from: > https://mail.gnu.org/archive/html/grub-devel/2025-03/msg00223.html
Thanks for getting this merged; I am at a loss as to why my patch was ignored for months. In the future, please maintain the Author when resending patches from other people. _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
