From 1d71308e25694056dc9280ec06e7e1f3e15c3a06 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Tue, 9 May 2017 21:26:05 +0200
Subject: Makefile: separate and document -gnatwe

---
 Makefile.in | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/Makefile.in b/Makefile.in
index dffabdb5b..c748e3d73 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -70,13 +70,16 @@ ifeq "$(build_mode)" "coverage"
 OPT_FLAGS+=-fprofile-arcs -ftest-coverage
 endif
 
-GNATFLAGS=-gnaty3befhkmr -gnatwae -gnatf -gnat05 $(OPT_FLAGS) $(ADA_FLAGS)
+GNATFLAGS=-gnaty3befhkmr -gnatwa -gnatf -gnat05 $(OPT_FLAGS) $(ADA_FLAGS)
 GRT_FLAGS=$(OPT_FLAGS)
 
 WARN_CFLAGS=-Wall
 
 GNAT_BARGS=-bargs -E
 
+# Warnings as errors.  Comment this line if a warning looks not valid.
+GNATFLAGS+=-gnatwe
+
 target=$(build)
 #target=i686-pc-linux-gnu
 #target=x86_64-pc-linux-gnu
-- 
cgit v1.2.3