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. -- debian developer - deb.li/jak | jak-linux.org - free software dev ubuntu core developer i speak de, en _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
