summaryrefslogtreecommitdiff
path: root/src/Kconfig
diff options
context:
space:
mode:
authorNico Huber <nico.huber@secunet.com>2016-10-05 17:43:56 +0200
committerNico Huber <nico.h@gmx.de>2016-10-29 01:28:13 +0200
commite84e625483bccd67a76d0177ac5346b51c2ce016 (patch)
tree214e6f5b44332cba5797d46d4a650f446339267b /src/Kconfig
parent07e206a6466197487f9f877ee6f5e7a7bec751a2 (diff)
downloadcoreboot-e84e625483bccd67a76d0177ac5346b51c2ce016.tar.xz
Add option to build Ada debugging code
Ada knows a pragma `Debug` that is used to exclude procedure calls from a release build. The new option `DEBUG_ADA_CODE` enables those procedure calls. Change-Id: Id5298e5819606c3d1cf2a2a1cd4f1d5d1227aa4f Signed-off-by: Nico Huber <nico.huber@secunet.com> Reviewed-on: https://review.coreboot.org/16943 Tested-by: build bot (Jenkins) Reviewed-by: Martin Roth <martinroth@google.com>
Diffstat (limited to 'src/Kconfig')
-rw-r--r--src/Kconfig7
1 files changed, 7 insertions, 0 deletions
diff --git a/src/Kconfig b/src/Kconfig
index 91b27ceef5..e337a1a580 100644
--- a/src/Kconfig
+++ b/src/Kconfig
@@ -1135,6 +1135,13 @@ config DEBUG_PRINT_PAGE_TABLES
After the page tables have been built, print them on the debug
console.
+config DEBUG_ADA_CODE
+ bool "Compile debug code in Ada sources"
+ default n
+ help
+ Add the compiler switch `-gnata` to compile code guarded by
+ `pragma Debug`.
+
endmenu
# These probably belong somewhere else, but they are needed somewhere.