diff options
| -rw-r--r-- | Makefile.inc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.inc b/Makefile.inc index cdebd1be0d..fefc8d19bb 100644 --- a/Makefile.inc +++ b/Makefile.inc @@ -373,7 +373,7 @@ ifeq ($(CONFIG_COMPILER_GCC),y) CFLAGS_common += -fno-delete-null-pointer-checks -fconserve-stack endif -ADAFLAGS_common += -gnatg -gnatp +ADAFLAGS_common += -gnatp ADAFLAGS_common += -Wuninitialized -Wall -Werror ADAFLAGS_common += -pipe -g -nostdinc ADAFLAGS_common += -Wstrict-aliasing -Wshadow |