wok-current view grub4dos/stuff/dev_partition.diff @ rev 15101
xorg-xedit: no more /usr/share/X11 ?
| author | Pascal Bellard <pascal.bellard@slitaz.org> |
|---|---|
| date | Wed Aug 14 12:49:38 2013 +0000 (2013-08-14) |
| parents | |
| children |
line source
1 Partition can be ${dev}$num or ${dev}p$num
2 --- grub-0.97/lib/device.c
3 +++ grub-0.97/lib/device.c
4 @@ -867,6 +867,13 @@
5 fd = open (dev, O_RDWR);
6 if (fd < 0)
7 {
8 + strcpy (dev, map[drive]);
9 + sprintf (dev + strlen(dev), "p%d", ((partition >> 16) & 0xFF) + 1);
10 + fd = open (dev, O_RDWR);
11 + }
12 +
13 + if (fd < 0)
14 + {
15 errnum = ERR_NO_PART;
16 return 0;
17 }