diff --git a/ChangeLog b/ChangeLog index 2ad83f5e4..74ef434e9 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2013-01-27 Andrey Borzenkov + + * util/grub-install.in: change misleading comment about + device.map creation + 2013-01-27 Vladimir Serbinenko * grub-core/normal/menu_text.c (grub_menu_init_page): Fix behaviour diff --git a/util/grub-install.in b/util/grub-install.in index aac27c75a..9e63cf5d9 100644 --- a/util/grub-install.in +++ b/util/grub-install.in @@ -505,7 +505,7 @@ if test $recheck = yes; then rm -f "$device_map" fi -# Create the device map file if it is not present. +# Device map file is optional if test -f "$device_map"; then # Make sure that there is no duplicated entry. tmp=`sed -n '/^([fh]d[0-9]*)/s/\(^(.*)\).*/\1/p' "$device_map" \