vbatts/grub
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Put recheck back

Browse source
This commit is contained in:
Vladimir 'phcoder' Serbinenko 2011-12-24 13:37:28 +01:00
parent 93d0a00116
commit a141ef409f
1 changed files with 8 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
util/grub-install.in
View file

@ -51,6 +51,7 @@ modules=
install_device= install_device=
no_floppy= no_floppy=
force_lba= force_lba=
recheck=no
debug=no debug=no
debug_image= debug_image=
@ -106,6 +107,7 @@ Install GRUB on your drive.
--no-floppy do not probe any floppy drive --no-floppy do not probe any floppy drive
--allow-floppy Make the drive also bootable as floppy --allow-floppy Make the drive also bootable as floppy
(default for fdX devices). May break on some BIOSes. (default for fdX devices). May break on some BIOSes.
--recheck delete device map if it already exists
--force install even if problems are detected --force install even if problems are detected
EOF EOF
if [ "${target_cpu}-${platform}" = "i386-pc" ] ; then if [ "${target_cpu}-${platform}" = "i386-pc" ] ; then
@ -217,7 +219,7 @@ do
--no-floppy) --no-floppy)
no_floppy="--no-floppy" ;; no_floppy="--no-floppy" ;;
--recheck) --recheck)
;; recheck=yes ;;
--removable) --removable)
removable=yes ;; removable=yes ;;
@ -415,6 +417,11 @@ fi
# Create the GRUB directory if it is not present. # Create the GRUB directory if it is not present.
mkdir -p "$grubdir" || exit 1 mkdir -p "$grubdir" || exit 1
# If --recheck is specified, remove the device map, if present.
if test $recheck = yes; then
rm -f "$device_map"
fi
# Create the device map file if it is not present. # Create the device map file if it is not present.
if test -f "$device_map"; then if test -f "$device_map"; then
# Make sure that there is no duplicated entry. # Make sure that there is no duplicated entry.