diff options
-rw-r--r-- | Makefile.in | 5 |
1 files changed, 4 insertions, 1 deletions
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 |