Re: [PATCH] add CONFIG_DEBUG_INFO

[Juan Quintela <quintela@mandrakesoft.com>]

>>>>> "kip" == Kip Walker <kwalker@broadcom.com> writes:

Hi

kip> KipIndex: arch/mips/config-shared.in
kip> ===================================================================
kip> RCS file: /home/cvs/linux/arch/mips/Attic/config-shared.in,v
kip> retrieving revision 1.1.2.48
kip> diff -u -r1.1.2.48 config-shared.in
kip> --- arch/mips/config-shared.in     26 Feb 2003 21:14:23 -0000      1.1.2.48
kip> +++ arch/mips/config-shared.in     3 Mar 2003 19:41:11 -0000
kip> @@ -976,6 +976,7 @@
 
kip> bool 'Are you using a crosscompiler' CONFIG_CROSSCOMPILE
kip> bool 'Enable run-time debugging' CONFIG_RUNTIME_DEBUG
kip> +bool 'Debugging symbols' CONFIG_DEBUG_INFO
kip> bool 'Remote GDB kernel debugging' CONFIG_KGDB
kip> dep_bool '  Console output to GDB' CONFIG_GDB_CONSOLE $CONFIG_KGDB
kip> if [ "$CONFIG_SIBYTE_SB1xxx_SOC" = "y" ]; then

Once there, doing something like:

bool 'Remote GDB kernel debugging' CONFIG_KGDB
if [ "$CONFIG_KGDB" = "y" ]; then
   define_bool CONFIG_DEBUG_INFO n
else
   bool 'Debugging symbols' CONFIG_DEBUG_INFO
fi

And you can use single ifdefs in Makefiles?

Later, Juan.

-- 
In theory, practice and theory are the same, but in practice they 
are different -- Larry McVoy