[coreboot-gerrit] Change in coreboot[master]: Makefile.inc: Remove -gnatg from ADAFLAGS_common

Nico Huber (Code Review) gerrit at coreboot.org
Sun Sep 3 23:49:33 CEST 2017


Nico Huber has uploaded this change for review. ( https://review.coreboot.org/21365


Change subject: Makefile.inc: Remove -gnatg from ADAFLAGS_common
......................................................................

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).

Change-Id: Ie56a95da2dafd014bd6152cb419a2d315e7c78c4
Signed-off-by: Nico Huber <nico.h at gmx.de>
---
M Makefile.inc
1 file changed, 1 insertion(+), 1 deletion(-)



  git pull ssh://review.coreboot.org:29418/coreboot refs/changes/65/21365/1

diff --git a/Makefile.inc b/Makefile.inc
index 679e0ac..54ce995 100644
--- a/Makefile.inc
+++ b/Makefile.inc
@@ -365,7 +365,7 @@
 CFLAGS_common += -ffunction-sections -fdata-sections -fno-pie
 CFLAGS_common += -fno-delete-null-pointer-checks -fconserve-stack
 
-ADAFLAGS_common += -gnatg -gnatp
+ADAFLAGS_common += -gnatp
 ADAFLAGS_common += -Wuninitialized -Wall -Werror
 ADAFLAGS_common += -pipe -g -nostdinc
 ADAFLAGS_common += -Wstrict-aliasing -Wshadow

-- 
To view, visit https://review.coreboot.org/21365
To unsubscribe, visit https://review.coreboot.org/settings

Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-MessageType: newchange
Gerrit-Change-Id: Ie56a95da2dafd014bd6152cb419a2d315e7c78c4
Gerrit-Change-Number: 21365
Gerrit-PatchSet: 1
Gerrit-Owner: Nico Huber <nico.h at gmx.de>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.coreboot.org/pipermail/coreboot-gerrit/attachments/20170903/15c68c49/attachment.html>


More information about the coreboot-gerrit mailing list