wok rev 4024

grub: handle partition in /dev/mapper
author Pascal Bellard <pascal.bellard@slitaz.org>
date Fri Sep 04 13:38:12 2009 +0200 (2009-09-04)
parents 80fe32e8e9d5
children 1a703730ac71
files grub/stuff/dev_partition.diff
line diff
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/grub/stuff/dev_partition.diff	Fri Sep 04 13:38:12 2009 +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 +     }