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... Daniel _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
