Home
last modified time | relevance | path

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

/external/grub/util/
Dgrub-install381 bootdir_device=`find_device ${bootdir}`
384 if test "x$root_device" != "x$bootdir_device"; then
386 root_device=$bootdir_device
Dgrub-install.in381 bootdir_device=`find_device ${bootdir}`
384 if test "x$root_device" != "x$bootdir_device"; then
386 root_device=$bootdir_device
/external/grub/
DChangeLog1565 Use find_device() for root_device, bootdir_device and
3115 (bootdir_device): Likewise.
3312 * util/grub-install.in (bootdir_device): New variable. If
3313 $bootdir_device is not the same as $root_device, set root_device
3314 and grubdir to $bootdir_device and "/grub", respectively.