On Tue, 5 Aug 2008 22:14:03 +0200 Robert Millan <[EMAIL PROTECTED]> wrote:
> On Tue, Aug 05, 2008 at 07:42:29AM -0700, Colin D Bennett wrote: > > > > We could make it a 'configure' option like '--enable-debug' or > > something, but it seems like minimal overhead to generate the .elf > > files for gdb in addition to "real" GRUB files. > > I'd favour the --enable-debug. Even if it's a small overhead, it > becomes a big problem when you are out of space and need to start > looking around to see what can be shaved off. In that case, should --enable-debug be the default, or --disable-debug? Colin _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org http://lists.gnu.org/mailman/listinfo/grub-devel