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)