From 3d79d70fe4d78302b6c0a116278e490193154dc6 Mon Sep 17 00:00:00 2001
From: Vladimir 'phcoder' Serbinenko <phcoder@gmail.com>
Date: Sun, 20 Dec 2009 01:51:38 +0100
Subject: [PATCH] Don't use UNUSED

---
 gfxmenu/gfxmenu.c | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/gfxmenu/gfxmenu.c b/gfxmenu/gfxmenu.c
index ab1c8befb..62ee34234 100644
--- 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)