mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-20 22:48:22 +00:00
efiemu: change code to avoid Coverity false positive
CID: 73623
This commit is contained in:
1 parent
97c41e1216
commit
12bf87466f
1 file changed
+1
-1
@@ -196,7 +196,7 @@ grub_efiemu_load_file (const char *filename)
|
|||||||
{
|
{
|
||||||
grub_file_close (file);
|
grub_file_close (file);
|
||||||
grub_efiemu_unload ();
|
grub_efiemu_unload ();
|
||||||
return grub_errno;
|
return err;
|
||||||
}
|
}
|
||||||
|
|
||||||
grub_dprintf ("efiemu", "mm initialized\n");
|
grub_dprintf ("efiemu", "mm initialized\n");
|
||||||
|
|||||||
Reference in new issue
Block a user