diff options
| author | Nico Huber <nico.h@gmx.de> | 2017-12-30 15:40:20 +0100 |
|---|---|---|
| committer | Nico Huber <nico.h@gmx.de> | 2017-09-23 10:50:45 +0000 |
| commit | 5218533ae7cb5c52f07b60a8c08a5ac3d8f37f7c (patch) | |
| tree | 008f31d6debd7bab0b3492f389b682f6eaa90f22 /Makefile.inc | |
| parent | dd9754dd62bff35b13c69f847ef3fb561209c9cf (diff) | |
| download | coreboot-5218533ae7cb5c52f07b60a8c08a5ac3d8f37f7c.tar.xz | |
Makefile.inc: Remove -gnatg from ADAFLAGS_common
It was only set by accident. `-gnatg` is a special mode for GNAT
internals and libgnat (we already set it explicitly for the latter).
TEST=Gave libgfxinit a shot on lenovo/t420.
Change-Id: Ie56a95da2dafd014bd6152cb419a2d315e7c78c4
Signed-off-by: Nico Huber <nico.h@gmx.de>
Reviewed-on: https://review.coreboot.org/21365
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'Makefile.inc')
| -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 |