diff options
Diffstat (limited to 'source/a/efibootmgr/efibootmgr.efi_set_verbose.diff')
| -rw-r--r-- | source/a/efibootmgr/efibootmgr.efi_set_verbose.diff | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/source/a/efibootmgr/efibootmgr.efi_set_verbose.diff b/source/a/efibootmgr/efibootmgr.efi_set_verbose.diff new file mode 100644 index 000000000..cea96487c --- /dev/null +++ b/source/a/efibootmgr/efibootmgr.efi_set_verbose.diff @@ -0,0 +1,12 @@ +--- ./src/efibootmgr.c.orig 2018-06-10 15:12:10.000000000 -0500 ++++ ./src/efibootmgr.c 2018-12-31 13:23:27.284013090 -0600 +@@ -1536,9 +1536,6 @@ + "invalid numeric value %s\n", + optarg); + } +- /* XXX efivar-36 accidentally doesn't have a public +- * header for this */ +- extern int efi_set_verbose(int verbosity, FILE *errlog); + efi_set_verbose(opts.verbose - 2, stderr); + break; + case 'V': |