Don't use UNUSED

diff --git a/gfxmenu/gfxmenu.c b/gfxmenu/gfxmenu.c
index ab1c8befb10c725f622a631d77864a40cf38baa6..62ee34234499639b712f87c4889da42a35dc6766 100644 (file)
--- a/gfxmenu/gfxmenu.c
+++ b/gfxmenu/gfxmenu.c
@@ -201,8 +201,9 @@ show_menu (grub_menu_t menu, int nested)
 }
 
 static grub_err_t
-grub_cmd_gfxmenu (grub_command_t cmd UNUSED,
-                  int argc UNUSED, char **args UNUSED)
+grub_cmd_gfxmenu (grub_command_t cmd __attribute__ ((unused)),
+                  int argc __attribute__ ((unused)),
+                 char **args __attribute__ ((unused)))
 {
   grub_menu_t menu = grub_env_get_data_slot ("menu");
   if (! menu)