Searched refs:grubdir (Results 1 – 3 of 3) sorted by relevance
293 grubdir=${bootdir}/grub294 device_map=${grubdir}/device.map325 test -d "$grubdir" || mkdir "$grubdir" || exit 1398 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; do415 cp -f $file ${grubdir} || exit 1425 for file in ${grubdir}/stage1 ${grubdir}/stage2 ${grubdir}/*stage1_5; do427 tmp=`echo $file | sed "s|^${grubdir}|${grub_prefix}|"`456 setup $force_lba --stage2=$grubdir/stage2 --prefix=$grub_prefix $install_drive
79 if test -d ${grubdir}; then83 if test -d ${grubdir}; then91 file=${grubdir}/default
3296 instead of grubdir to "/grub".3298 of $grubdir to the option "--prefix".3473 and grubdir to $bootdir_device and "/grub", respectively.3474 Add --prefix=$grubdir into the command "setup".3663 * util/grub-install.in: Fix a typo: grub_dir -> grubdir.5813 (grubdir): Likewise.5970 * util/grub-install.in: grub_dir -> grubdir.