HomeSort by relevance Sort by last modified time
    Searched refs:grubdir (Results 1 - 4 of 4) sorted by null

  /external/grub/util/
grub-set-default 78 grubdir=${rootdir}/boot/grub
79 if test -d ${grubdir}; then
82 grubdir=${rootdir}/grub
83 if test -d ${grubdir}; then
91 file=${grubdir}/default
grub-set-default.in 78 grubdir=${rootdir}/boot/grub
79 if test -d ${grubdir}; then
82 grubdir=${rootdir}/grub
83 if test -d ${grubdir}; then
91 file=${grubdir}/default
grub-install.in 293 grubdir=${bootdir}/grub
294 device_map=${grubdir}/device.map
325 test -d "$grubdir" || mkdir "$grubdir" || exit 1
398 grubdir_device=`find_device ${grubdir}`
404 $grubdir does not exist in the root device $root_device.
410 for file in ${grubdir}/stage1 ${grubdir}/stage2 ${grubdir}/*stage1_5; do
415 cp -f $file ${grubdir} || exit
    [all...]
grub-install 293 grubdir=${bootdir}/grub
294 device_map=${grubdir}/device.map
325 test -d "$grubdir" || mkdir "$grubdir" || exit 1
398 grubdir_device=`find_device ${grubdir}`
404 $grubdir does not exist in the root device $root_device.
410 for file in ${grubdir}/stage1 ${grubdir}/stage2 ${grubdir}/*stage1_5; do
415 cp -f $file ${grubdir} || exit
    [all...]

Completed in 795 milliseconds