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

  /external/grub/util/
grub-install.in 40 no_floppy=
245 no_floppy="--no-floppy" ;;
339 $grub_shell --batch $no_floppy --device-map=$device_map <<EOF >$log_file
429 $grub_shell --batch $no_floppy --device-map=$device_map <<EOF >$log_file
454 $grub_shell --batch $no_floppy --device-map=$device_map <<EOF >$log_file
grub-install 40 no_floppy=
245 no_floppy="--no-floppy" ;;
339 $grub_shell --batch $no_floppy --device-map=$device_map <<EOF >$log_file
429 $grub_shell --batch $no_floppy --device-map=$device_map <<EOF >$log_file
454 $grub_shell --batch $no_floppy --device-map=$device_map <<EOF >$log_file

Completed in 1216 milliseconds