r = efi_get_boot_option(id, &title, partition, &path);
if (r < 0) {
- fprintf(stderr, "Failed to read EFI boot entry %i.\n", id);
+ fprintf(stderr, "Failed to read EFI boot entry Boot%04X.\n", id);
goto finish;
}
goto finish;
}
- for (i = 0; i < n_order; i++) {
- r = print_efi_option(order[i]);
- if (r < 0)
- goto finish;
- }
+ for (i = 0; i < n_order; i++)
+ print_efi_option(order[i]);
if (n_order == n_options)
goto finish;
if (found)
continue;
- r = print_efi_option(options[i]);
- if (r < 0)
- goto finish;
+ print_efi_option(options[i]);
}
r = 0;