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] A brief look at the sources indicates the new file could be generated during build, with "echo content > $@". Olaf
pgpAtPanA8Ihn.pgp
Description: Digitale Signatur von OpenPGP
_______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel