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