From 22e5cd34c564bbc838a9765f6acd22ce73a47d93 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Fri, 14 Sep 2018 03:02:10 +0200 Subject: Remove -gnat05, always use GNATFLAGS. Fix #651 --- dist/gcc/Make-lang.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'dist') diff --git a/dist/gcc/Make-lang.in b/dist/gcc/Make-lang.in index ae163d953..bf2290b1e 100644 --- a/dist/gcc/Make-lang.in +++ b/dist/gcc/Make-lang.in @@ -41,7 +41,7 @@ RM = rm -f # Extra flags to pass to recursive makes. -GHDL_ADAFLAGS=-gnata -gnat05 -gnaty3befhkmr -gnatwae +GHDL_ADAFLAGS=-gnata -gnaty3befhkmr -gnatwae GNATBIND = gnatbind GNATMAKE = gnatmake -- cgit v1.2.3