* grub-core/disk/efi/efidisk.c (grub_efidisk_get_device_name_iter):

Remove no-longer-true __attribute__ ((unused)) on disk parameter.

diff --git a/ChangeLog b/ChangeLog
index fbe3643..a972b99 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -3,6 +3,11 @@
        * docs/grub.texi (Networking commands): Add documentation for
        network related commands.
 
+2013-09-18  Colin Watson  <cjwatson@ubuntu.com>
+
+       * 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 <dougray@cpan.org>
 
        * 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 ebd906e..00b2507 100644 (file)
--- 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;