grub-install is not supposed to create device.map; change comment
to avoid confusion. It was already considered a bug by users.
Signed-off-by: Andrey Borzenkov <arvidj...@gmail.com>
---
ChangeLog | 5 +++++
util/grub-install.in | 2 +-
2 files changed, 6 insertions(+), 1 deletion(-)
diff --git a/ChangeLog b/ChangeLog
index 8c4d087..61dda4e 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2013-01-22 Andrey Borzenkov <arvidj...@gmail.com>
+
+ * util/grub-install.in: change misleading comment about
+ device.map creation
+
2013-01-22 Colin Watson <cjwat...@ubuntu.com>
* util/grub-reboot.in (usage): Document the need for
diff --git a/util/grub-install.in b/util/grub-install.in
index aac27c7..9e63cf5 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" \
--
tg: (cd8fd59..) fu/device.map (depends on: master)
_______________________________________________
Grub-devel mailing list
Grub-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/grub-devel
