From 7fba6daaf2d9cc2c96176020212dadad593c340f Mon Sep 17 00:00:00 2001 From: Peter Jones Date: Mon, 26 Jun 2017 12:44:59 -0400 Subject: [PATCH 087/220] don't use int for efi status --- grub-core/kern/efi/efi.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/grub-core/kern/efi/efi.c b/grub-core/kern/efi/efi.c index a1af9b4..2cf6a5a 100644 --- a/grub-core/kern/efi/efi.c +++ b/grub-core/kern/efi/efi.c @@ -166,7 +166,7 @@ grub_reboot (void) void grub_exit (int retval) { - int rc = GRUB_EFI_LOAD_ERROR; + grub_efi_status_t rc = GRUB_EFI_LOAD_ERROR; if (retval == 0) rc = GRUB_EFI_SUCCESS; -- 1.8.3.1