aboutsummaryrefslogtreecommitdiff
path: root/Config.in
diff options
context:
space:
mode:
Diffstat (limited to 'Config.in')
-rw-r--r--Config.in23
1 files changed, 11 insertions, 12 deletions
diff --git a/Config.in b/Config.in
index 3b374967b..0a7edf84c 100644
--- a/Config.in
+++ b/Config.in
@@ -396,6 +396,17 @@ config DEBUG
Most people should answer N.
+config DEBUG_PESSIMIZE
+ bool "Disable compiler optimizations."
+ default n
+ depends on DEBUG
+ help
+ The compiler's optimization of source code can eliminate and reorder
+ code, resulting in an executable that's hard to understand when
+ stepping through it with a debugger. This switches it off, resulting
+ in a much bigger executable that more closely matches the source
+ code.
+
config WERROR
bool "Abort compilation on any warning"
default n
@@ -404,18 +415,6 @@ config WERROR
Most people should answer N.
-# Seems to be unused
-#config DEBUG_PESSIMIZE
-# bool "Disable compiler optimizations."
-# default n
-# depends on DEBUG
-# help
-# The compiler's optimization of source code can eliminate and reorder
-# code, resulting in an executable that's hard to understand when
-# stepping through it with a debugger. This switches it off, resulting
-# in a much bigger executable that more closely matches the source
-# code.
-
choice
prompt "Additional debugging library"
default NO_DEBUG_LIB