diff options
author | Gregory Nutt <gnutt@nuttx.org> | 2014-01-24 08:07:27 -0600 |
---|---|---|
committer | Gregory Nutt <gnutt@nuttx.org> | 2014-01-24 08:07:27 -0600 |
commit | 39744a5c51a6e6cf6d263909ac75d31e4142debe (patch) | |
tree | 9b60522ba92fd56af283d73595cc5c253d0fe49b /nuttx/Kconfig | |
parent | f76ce54f00d5b638e1e847769fcb0252151cbd1c (diff) | |
download | px4-nuttx-39744a5c51a6e6cf6d263909ac75d31e4142debe.tar.gz px4-nuttx-39744a5c51a6e6cf6d263909ac75d31e4142debe.tar.bz2 px4-nuttx-39744a5c51a6e6cf6d263909ac75d31e4142debe.zip |
Suppress option to use custom optimization levels for architectures that do not support it
Diffstat (limited to 'nuttx/Kconfig')
-rw-r--r-- | nuttx/Kconfig | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/nuttx/Kconfig b/nuttx/Kconfig index 12aa64e31..fb08f3289 100644 --- a/nuttx/Kconfig +++ b/nuttx/Kconfig @@ -574,6 +574,10 @@ config DEBUG_SYMBOLS endmenu # Debug Options +config ARCH_HAVE_CUSTOMOPT + bool + default n + choice prompt "Optimization Level" default DEBUG_NOOPT if DEBUG_SYMBOLS @@ -586,6 +590,7 @@ config DEBUG_NOOPT config DEBUG_CUSTOMOPT bool "Custom Optimization" + depends on ARCH_HAVE_CUSTOMOPT ---help--- Select a custom debug level. This is often helpful if you suspect an optimization level error and want to lower the level of optimization. |