wok diff grub/stuff/dev_partition.diff @ rev 5833

Up: xfce4-settings (4.6.5)
author Eric Joseph-Alexandre <erjo@slitaz.org>
date Fri Jul 16 08:08:20 2010 +0200 (2010-07-16)
parents
children 5af4ef0cffa1
line diff
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/grub/stuff/dev_partition.diff	Fri Jul 16 08:08:20 2010 +0200
     1.3 @@ -0,0 +1,16 @@
     1.4 +Partition can be ${dev}$num or ${dev}p$num
     1.5 +--- grub-0.97/lib/device.c
     1.6 ++++ grub-0.97/lib/device.c
     1.7 +@@ -867,6 +867,12 @@
     1.8 +   fd = open (dev, O_RDWR);
     1.9 +   if (fd < 0)
    1.10 +     {
    1.11 ++      strcpy (dev, map[drive]);
    1.12 ++      sprintf (dev + strlen(dev), "p%d", ((partition >> 16) & 0xFF) + 1);
    1.13 ++    }
    1.14 ++  
    1.15 ++  if (fd < 0)
    1.16 ++    {
    1.17 +       errnum = ERR_NO_PART;
    1.18 +       return 0;
    1.19 +     }