wok-6.x view grub/stuff/dev_partition.diff @ rev 23529
updated python-pip (19.0.3 -> 20.0.2)
author | Hans-G?nter Theisgen |
---|---|
date | Mon Apr 06 14:44:29 2020 +0100 (2020-04-06) |
parents | ae53586561c8 |
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 }