Home
last modified time | relevance | path

Searched refs:root_device (Results 1 – 3 of 3) sorted by relevance

/external/grub/util/
Dgrub-install380 root_device=`find_device ${rootdir}`
384 if test "x$root_device" != "x$bootdir_device"; then
386 root_device=$bootdir_device
391 root_drive=`convert "$root_device"`
400 if test "x$grubdir_device" != "x$root_device"; then
404 $grubdir does not exist in the root device $root_device.
Dgrub-install.in380 root_device=`find_device ${rootdir}`
384 if test "x$root_device" != "x$bootdir_device"; then
386 root_device=$bootdir_device
391 root_drive=`convert "$root_device"`
400 if test "x$grubdir_device" != "x$root_device"; then
404 $grubdir does not exist in the root device $root_device.
/external/grub/
DChangeLog1565 Use find_device() for root_device, bootdir_device and
3112 * util/grub-install.in (root_device): Use the regular expression
3313 $bootdir_device is not the same as $root_device, set root_device
4893 * util/grub-install.in (root_device): Append `/' to ${rootdir},
5656 (root_device): Set to the result for the directory ROOTDIR