On Tue, Dec 06, 2022 at 01:45:11AM +, Steve McIntyre wrote:
> grub_file_open() calls grub_file_get_device_name(), but doesn't check
> the return. Instead, it checks if grub_errno is set.
>
> However, nothing initialises grub_errno here when grub_file_open()
> starts. This means that trying to
grub_file_open() calls grub_file_get_device_name(), but doesn't check
the return. Instead, it checks if grub_errno is set.
However, nothing initialises grub_errno here when grub_file_open()
starts. This means that trying to open one file that doesn't exist and
then trying to open another file
