From 5218533ae7cb5c52f07b60a8c08a5ac3d8f37f7c Mon Sep 17 00:00:00 2001
From: Nico Huber <nico.h@gmx.de>
Date: Sat, 30 Dec 2017 15:40:20 +0100
Subject: 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>
---
 Makefile.inc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.2.3