[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