Parent Directory | Revision Log | Patch
revision 1.12 by marco_g, Fri Jan 21 21:32:03 2005 UTC | revision 1.13 by marco_g, Mon Jan 31 21:40:25 2005 UTC | |
---|---|---|
# | Line 177 main (int argc, char *argv[]) | Line 177 main (int argc, char *argv[]) |
177 | grub_cat_init (); | grub_cat_init (); |
178 | grub_terminal_init (); | grub_terminal_init (); |
179 | grub_loop_init (); | grub_loop_init (); |
180 | grub_help_init (); | |
181 | ||
182 | /* XXX: Should normal mode be started by default? */ | /* XXX: Should normal mode be started by default? */ |
183 | grub_normal_init (); | grub_normal_init (); |
# | Line 184 main (int argc, char *argv[]) | Line 185 main (int argc, char *argv[]) |
185 | /* Start GRUB! */ | /* Start GRUB! */ |
186 | grub_main (); | grub_main (); |
187 | ||
188 | grub_help_fini (); | |
189 | grub_loop_fini (); | grub_loop_fini (); |
190 | grub_util_biosdisk_fini (); | grub_util_biosdisk_fini (); |
191 | grub_normal_fini (); | grub_normal_fini (); |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |