1

Reading the Debian Kernel Handbook I came across the config option CONFIG_DEBUG_INFO.

That option isn't in the official debian 3.2 kernel config, so what I'd like to know:

If a certain option is not in the .config file, does that count as "undefined" and is "undefined" the same as "disabled"?

0

In case of that config option, "undefined" means "disabled", see the Makefile:

ifdef CONFIG_DEBUG_INFO
KBUILD_CFLAGS   += -g
KBUILD_AFLAGS   += -gdwarf-2
endif

So, the answer is: it depends. There are config options in the Makefile with else, and other statements. Such a contant can also have a value that defines a different behavior.

  • OMG, should have checked the Makefile prior to posting... Thank you! – Jan Jan 28 '15 at 10:28

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.