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

unused variables.

diff --git a/ChangeLog b/ChangeLog
index efbef2d..13f3e0c 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 afb8c05..d2dc7ef 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);