Re: [PATCH] remove unused attribute from grub_biosdisk_iterate pull argument

[Vladimir 'φ-coder/phcoder' Serbinenko]

On 04.08.2013 14:19, Andrey Borzenkov wrote:
> It is not unused anymore.
Go ahead
> Signed-off-by: Andrey Borzenkov <address@hidden>
>
> ---
>   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;