From 607319c9ab1eea33da9f2bdbc46033bceb1d4d65 Mon Sep 17 00:00:00 2001 From: Colin Watson Date: Wed, 18 Sep 2013 15:43:58 +0100 Subject: [PATCH] * grub-core/disk/efi/efidisk.c (grub_efidisk_get_device_name_iter): Remove no-longer-true __attribute__ ((unused)) on disk parameter. --- ChangeLog | 5 +++++ grub-core/disk/efi/efidisk.c | 2 +- 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index fbe3643b8..a972b9959 100644 --- a/ChangeLog +++ b/ChangeLog @@ -3,6 +3,11 @@ * docs/grub.texi (Networking commands): Add documentation for network related commands. +2013-09-18 Colin Watson + + * grub-core/disk/efi/efidisk.c (grub_efidisk_get_device_name_iter): + Remove no-longer-true __attribute__ ((unused)) on disk parameter. + 2013-09-18 Douglas Ray * util/grub-mkpasswd-pbkdf2.c (grub_get_random): Declare OpenBSD PRNG diff --git a/grub-core/disk/efi/efidisk.c b/grub-core/disk/efi/efidisk.c index ebd906e7c..00b25071e 100644 --- a/grub-core/disk/efi/efidisk.c +++ b/grub-core/disk/efi/efidisk.c @@ -766,7 +766,7 @@ struct grub_efidisk_get_device_name_ctx /* Helper for grub_efidisk_get_device_name. Find the identical partition. */ static int -grub_efidisk_get_device_name_iter (grub_disk_t disk __attribute__ ((unused)), +grub_efidisk_get_device_name_iter (grub_disk_t disk, const grub_partition_t part, void *data) { struct grub_efidisk_get_device_name_ctx *ctx = data;