* util/grub-install.in: change misleading comment about
device.map creation
This commit is contained in:
parent
af18fdb4df
commit
f81ef4b580
2 changed files with 6 additions and 1 deletions
|
@ -1,3 +1,8 @@
|
||||||
|
2013-01-27 Andrey Borzenkov <arvidjaar@gmail.com>
|
||||||
|
|
||||||
|
* util/grub-install.in: change misleading comment about
|
||||||
|
device.map creation
|
||||||
|
|
||||||
2013-01-27 Vladimir Serbinenko <phcoder@gmail.com>
|
2013-01-27 Vladimir Serbinenko <phcoder@gmail.com>
|
||||||
|
|
||||||
* grub-core/normal/menu_text.c (grub_menu_init_page): Fix behaviour
|
* grub-core/normal/menu_text.c (grub_menu_init_page): Fix behaviour
|
||||||
|
|
|
@ -505,7 +505,7 @@ if test $recheck = yes; then
|
||||||
rm -f "$device_map"
|
rm -f "$device_map"
|
||||||
fi
|
fi
|
||||||
|
|
||||||
# Create the device map file if it is not present.
|
# Device map file is optional
|
||||||
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.
|
||||||
tmp=`sed -n '/^([fh]d[0-9]*)/s/\(^(.*)\).*/\1/p' "$device_map" \
|
tmp=`sed -n '/^([fh]d[0-9]*)/s/\(^(.*)\).*/\1/p' "$device_map" \
|
||||||
|
|
Loading…
Reference in a new issue