diff options
author | Gregory Nutt <gnutt@nuttx.org> | 2013-12-20 11:43:02 -0600 |
---|---|---|
committer | Gregory Nutt <gnutt@nuttx.org> | 2013-12-20 11:43:02 -0600 |
commit | 9ed483d790a43b1ba5cf038c92eb27bcfb57df23 (patch) | |
tree | 8fb21d7daaf8bc65da9289e381a0b13db7640eae /nuttx/Kconfig | |
parent | 03b760d4d8c697580e7d1614a3bfd219f34224ca (diff) | |
download | px4-nuttx-9ed483d790a43b1ba5cf038c92eb27bcfb57df23.tar.gz px4-nuttx-9ed483d790a43b1ba5cf038c92eb27bcfb57df23.tar.bz2 px4-nuttx-9ed483d790a43b1ba5cf038c92eb27bcfb57df23.zip |
Beginning separation of debug symbols and optimization selections
Diffstat (limited to 'nuttx/Kconfig')
-rw-r--r-- | nuttx/Kconfig | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/nuttx/Kconfig b/nuttx/Kconfig index 3b588dd96..beb02405d 100644 --- a/nuttx/Kconfig +++ b/nuttx/Kconfig @@ -566,8 +566,15 @@ config DEBUG_SYMBOLS bool "Generate Debug Symbols" default n ---help--- - Build without optimization and with debug symbols (needed - for use with a debugger). + Build with debug symbols (needed for use with a debugger). + +config DEBUG_NOOPT + bool "Suppress optimization" + default y if DEBUG_SYMBOLS + default n if !DEBUG_SYMBOLS + ---help--- + Build without optimization. This is often helpful when debugging code. + endmenu endmenu |