diff options
Diffstat (limited to 'Makefile.inc')
| -rw-r--r-- | Makefile.inc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile.inc b/Makefile.inc index 8389ba4dc3..db4cdee943 100644 --- a/Makefile.inc +++ b/Makefile.inc @@ -420,6 +420,10 @@ CFLAGS_common += -Os ADAFLAGS_common += -Os endif +ifeq ($(CONFIG_DEBUG_ADA_CODE),y) +ADAFLAGS_common += -gnata +endif + additional-dirs := $(objutil)/cbfstool $(objutil)/romcc $(objutil)/ifdtool \ $(objutil)/ifdfake $(objutil)/options $(obj)/amdfwtool \ $(objutil)/cbootimage $(objutil)/bimgtool |