}
}
- grub_install_copy_files (grub_install_source_directory,
- grubdir, platform);
-
- char *envfile = grub_util_path_concat (2, grubdir, "grubenv");
- if (!grub_util_is_regular (envfile))
- grub_util_create_envblk_file (envfile);
-
size_t ndev = 0;
/* Write device to a variable so we don't have to traverse /dev every time. */
t);
free (t);
}
- load_cfg = grub_util_path_concat (2, platdir,
- "load.cfg");
-
- grub_util_unlink (load_cfg);
- if (debug_image && debug_image[0])
- {
- load_cfg_f = grub_util_fopen (load_cfg, "wb");
- have_load_cfg = 1;
- fprintf (load_cfg_f, "set debug='%s'\n",
- debug_image);
- }
char *prefix_drive = NULL;
char *install_drive = NULL;
}
}
+ grub_install_copy_files (grub_install_source_directory,
+ grubdir, platform);
+
+ char *envfile = grub_util_path_concat (2, grubdir, "grubenv");
+ if (!grub_util_is_regular (envfile))
+ grub_util_create_envblk_file (envfile);
+
+ load_cfg = grub_util_path_concat (2, platdir,
+ "load.cfg");
+
+ grub_util_unlink (load_cfg);
+
+ if (debug_image && debug_image[0])
+ {
+ load_cfg_f = grub_util_fopen (load_cfg, "wb");
+ have_load_cfg = 1;
+ fprintf (load_cfg_f, "set debug='%s'\n",
+ debug_image);
+ }
+
if (!have_abstractions)
{
if ((disk_module && grub_strcmp (disk_module, "biosdisk") != 0)