diff --git a/ChangeLog b/ChangeLog index efbef2dd0..13f3e0c94 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2013-11-14 Colin Watson + + * util/getroot.c (grub_util_biosdisk_get_grub_dev) [__GNU__]: Remove + unused variables. + 2013-11-14 Matthew Garrett * grub-core/kern/main.c (grub_set_prefix_and_root): Set variable diff --git a/util/getroot.c b/util/getroot.c index afb8c05cb..d2dc7efc4 100644 --- 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);