diff options
Diffstat (limited to 'dist/gcc')
-rw-r--r-- | dist/gcc/Make-lang.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dist/gcc/Make-lang.in b/dist/gcc/Make-lang.in index 3316251d8..12c797999 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= -Wall -gnata +GHDL_ADAFLAGS=-gnata -gnat05 -gnaty3befhkmr -gnatwae GNATBIND = gnatbind GNATMAKE = gnatmake |