* grub-core/kern/file.c: Use const char * rather than casting to

	non-const.

diff --git a/ChangeLog b/ChangeLog
index 5c50b56e7a90c7205ee14ccb436a5ae6d94996c2..da92415d3cce32e899624df2dede8ce177e4811c 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2013-04-28  Vladimir Serbinenko  <phcoder@gmail.com>
+
+       * grub-core/kern/file.c: Use const char * rather than casting to
+       non-const.
+
 2013-04-28  Vladimir Serbinenko  <phcoder@gmail.com>
 
        * grub-core/commands/probe.c: Add missing grub_device_close.

diff --git a/grub-core/kern/file.c b/grub-core/kern/file.c
index d2a6317452ad4ab18ecd206484cd4c99ff56dd34..64266686d66f895727372a3eda0e2a649140a64e 100644 (file)
--- a/grub-core/kern/file.c
+++ b/grub-core/kern/file.c
@@ -64,7 +64,7 @@ grub_file_open (const char *name)
   grub_device_t device = 0;
   grub_file_t file = 0, last_file = 0;
   char *device_name;
-  char *file_name;
+  const char *file_name;
   grub_file_filter_id_t filter;
 
   device_name = grub_file_get_device_name (name);
@@ -76,7 +76,7 @@ grub_file_open (const char *name)
   if (file_name)
     file_name++;
   else
-    file_name = (char *) name;
+    file_name = name;
 
   device = grub_device_open (device_name);
   grub_free (device_name);