summaryrefslogtreecommitdiff
path: root/src/Kconfig
diff options
context:
space:
mode:
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.