diff options
author | Gregory Nutt <gnutt@nuttx.org> | 2015-01-24 06:49:51 -0600 |
---|---|---|
committer | Gregory Nutt <gnutt@nuttx.org> | 2015-01-24 06:49:51 -0600 |
commit | 0b34d78f7f3cf30969bdf12ad24f64aaa2dd28e0 (patch) | |
tree | 6c121a2ca991c45b2f33b0ae190da802c5b0cce3 /nuttx/tools | |
parent | 7b8e6ff54398eab1bc9f205ca7e9719228ef4526 (diff) | |
download | px4-nuttx-0b34d78f7f3cf30969bdf12ad24f64aaa2dd28e0.tar.gz px4-nuttx-0b34d78f7f3cf30969bdf12ad24f64aaa2dd28e0.tar.bz2 px4-nuttx-0b34d78f7f3cf30969bdf12ad24f64aaa2dd28e0.zip |
Remove CONFIG_DEBUG_STACK. Adding CONFIG_STACK_COLORATION makes this configuration option pointless
Diffstat (limited to 'nuttx/tools')
-rw-r--r-- | nuttx/tools/mkconfig.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/nuttx/tools/mkconfig.c b/nuttx/tools/mkconfig.c index d21930101..93dc7e314 100644 --- a/nuttx/tools/mkconfig.c +++ b/nuttx/tools/mkconfig.c @@ -269,7 +269,6 @@ int main(int argc, char **argv, char **envp) printf("# undef CONFIG_DEBUG_GRAPHICS\n"); printf("# undef CONFIG_DEBUG_GPIO\n"); printf("# undef CONFIG_DEBUG_SPI\n"); - printf("# undef CONFIG_DEBUG_STACK\n"); printf("# undef CONFIG_DEBUG_HEAP\n"); printf("#endif\n\n"); printf("/* User entry point. This is provided as a fall-back to keep compatibility\n"); |