wok-6.x 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 + }