42 |
#include <grub/dl.h> |
#include <grub/dl.h> |
43 |
#include <grub/mm.h> |
#include <grub/mm.h> |
44 |
#include <grub/misc.h> |
#include <grub/misc.h> |
45 |
|
#include <grub/gzio.h> |
46 |
|
|
47 |
static grub_dl_t my_mod; |
static grub_dl_t my_mod; |
48 |
static struct grub_multiboot_info *mbi; |
static struct grub_multiboot_info *mbi; |
253 |
goto fail; |
goto fail; |
254 |
} |
} |
255 |
|
|
256 |
file = grub_file_open (argv[0]); |
file = grub_gzfile_open (argv[0], 1); |
257 |
if (! file) |
if (! file) |
258 |
{ |
{ |
259 |
grub_error (GRUB_ERR_BAD_ARGUMENT, "Couldn't open file"); |
grub_error (GRUB_ERR_BAD_ARGUMENT, "Couldn't open file"); |
362 |
goto fail; |
goto fail; |
363 |
} |
} |
364 |
|
|
365 |
file = grub_file_open (argv[0]); |
file = grub_gzfile_open (argv[0], 1); |
366 |
if (! file) |
if (! file) |
367 |
goto fail; |
goto fail; |
368 |
|
|