Quoting Julian Andres Klode (2023-12-08 18:29:52) > On Fri, Dec 08, 2023 at 01:20:37PM +0100, Daniel Kiper wrote: > > On Wed, Dec 06, 2023 at 05:39:53PM +0100, Daniel Kiper wrote: > > > On Wed, Dec 06, 2023 at 04:39:29PM +0100, Olaf Hering wrote: > > > > Wed, 6 Dec 2023 16:24:53 +0100 Daniel Kiper <dki...@net-space.pl>: > > > > > > > > > Could you provide us exact steps to reproduce the problem? > > > > > > > > Something like this? > > > > > > > > mkdir .b > > > > cd $_ > > > > ../grub-src-dir/configure [options] > > > > > > Ugh, yeah, the file is missing in this case. Oliver, could you fix that? > > > > > > > A brief look at the sources indicates the new file could be generated > > > > during build, with "echo content > $@". > > > > > > Or copy original file... But generation can be a bit more universal... > > > > Oliver, ping? > > > > I really want to cut release next week and this is a blocker... > > Mate just posted > > [PATCH] grub-core/Makefile.am: Make path to extra_deps.lst relative to > $(top_srcdir)/grub-core > > which should resolve this issue. > Sorry for the late reply, I was away.
-Oliver _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
