* util/grub.d/10_hurd.in: Drop /dev/ prefix from root device path before
giving it to GNU Mach.
+2009-11-02 Samuel Thibault <samuel.thibault@ens-lyon.org>
+
+ * util/grub.d/10_hurd.in: Drop /dev/ prefix from root device path before
+ giving it to GNU Mach.
+
2009-11-02 Samuel Thibault <samuel.thibault@ens-lyon.org>
* util/hostdisk.c (grub_util_biosdisk_get_grub_dev): Subtract 1 from
EOF
prepare_grub_to_access_device ${GRUB_DEVICE_BOOT} | sed -e "s/^/\t/"
cat << EOF
- multiboot ${kernel} root=device:${GRUB_DEVICE}
+ multiboot ${kernel} root=device:${GRUB_DEVICE#/dev/}
EOF
prepare_grub_to_access_device ${GRUB_DEVICE} | sed -e "s/^/\t/"
cat << EOF