It is not unused anymore.
Signed-off-by: Andrey Borzenkov <arvidj...@gmail.com>
---
grub-core/disk/i386/pc/biosdisk.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/grub-core/disk/i386/pc/biosdisk.c
b/grub-core/disk/i386/pc/biosdisk.c
index 7c8dca3..5e6d060 100644
--- a/grub-core/disk/i386/pc/biosdisk.c
+++ b/grub-core/disk/i386/pc/biosdisk.c
@@ -287,7 +287,7 @@ grub_biosdisk_call_hook (grub_disk_dev_iterate_hook_t hook,
void *hook_data,
static int
grub_biosdisk_iterate (grub_disk_dev_iterate_hook_t hook, void *hook_data,
- grub_disk_pull_t pull __attribute__ ((unused)))
+ grub_disk_pull_t pull)
{
int num_floppies;
int drive;
--
tg: (30313bb..) u/biosdisk_pull_unused (depends on: master)
_______________________________________________
Grub-devel mailing list
Grub-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/grub-devel
