* util/getroot.c (grub_util_biosdisk_get_grub_dev) [__GNU__]: Remove

unused variables.

diff --git a/ChangeLog b/ChangeLog
index efbef2dd01c0af4be9f3fec97c605788a1edbe28..13f3e0c94f208af6288f446540b06dfbdcf86d95 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2013-11-14  Colin Watson  <cjwatson@ubuntu.com>
+
+       * util/getroot.c (grub_util_biosdisk_get_grub_dev) [__GNU__]: Remove
+       unused variables.
+
 2013-11-14  Matthew Garrett  <mjg@redhat.com>
 
        * grub-core/kern/main.c (grub_set_prefix_and_root): Set variable

diff --git a/util/getroot.c b/util/getroot.c
index afb8c05cb6d1c1d068abaf91663e22a2d5cda0c8..d2dc7efc4a04d0bbdf5721b7bdbd035cd649f779 100644 (file)
--- a/util/getroot.c
+++ b/util/getroot.c
@@ -347,8 +347,6 @@ grub_util_biosdisk_get_grub_dev (const char *os_dev)
       {
        char *p;
        char *dri;
-       int dos_part = -1;
-       int bsd_part = -1;
 
        dri = make_device_name (drive);