diff options
| author | Nico Huber <nico.huber@secunet.com> | 2016-10-05 17:43:56 +0200 |
|---|---|---|
| committer | Nico Huber <nico.h@gmx.de> | 2016-10-29 01:28:13 +0200 |
| commit | e84e625483bccd67a76d0177ac5346b51c2ce016 (patch) | |
| tree | 214e6f5b44332cba5797d46d4a650f446339267b /src/Kconfig | |
| parent | 07e206a6466197487f9f877ee6f5e7a7bec751a2 (diff) | |
| download | coreboot-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/Kconfig | 7 |
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. |