wok-6.x diff 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 diff
1.1 --- a/grub/stuff/dev_partition.diff Fri Sep 04 13:38:12 2009 +0200 1.2 +++ b/grub/stuff/dev_partition.diff Mon Apr 06 14:44:29 2020 +0100 1.3 @@ -1,12 +1,13 @@ 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 +@@ -867,6 +867,13 @@ 1.9 fd = open (dev, O_RDWR); 1.10 if (fd < 0) 1.11 { 1.12 + strcpy (dev, map[drive]); 1.13 + sprintf (dev + strlen(dev), "p%d", ((partition >> 16) & 0xFF) + 1); 1.14 ++ fd = open (dev, O_RDWR); 1.15 + } 1.16 + 1.17 + if (fd < 0)