mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-21 06:49:35 +00:00
* grub-core/kern/file.c: Use const char * rather than casting to
non-const.
This commit is contained in:
1 parent
eadfad244e
commit
178c276419
2 files changed
+7
-2
No files matched your search
@@ -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.
|
||||
|
||||
@@ -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);
|
||||
|
||||
Reference in new issue
Block a user