From 22e5cd34c564bbc838a9765f6acd22ce73a47d93 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Fri, 14 Sep 2018 03:02:10 +0200
Subject: Remove -gnat05, always use GNATFLAGS.

Fix #651
---
 src/ortho/gcc/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/ortho/gcc')

diff --git a/src/ortho/gcc/Makefile b/src/ortho/gcc/Makefile
index f81b609cc..5b12ea569 100644
--- a/src/ortho/gcc/Makefile
+++ b/src/ortho/gcc/Makefile
@@ -67,7 +67,7 @@ LIBS =  $(AGCC_GCCOBJ_DIR)/gcc/libcommon.a \
 
 $(ortho_exec): $(AGCC_DEPS) $(orthobe_srcdir)/ortho_gcc.ads force
 	$(GNATMAKE) -o $@ -aI$(ortho_srcdir) \
-	 -aI$(ortho_srcdir)/gcc $(GNAT_FLAGS) ortho_gcc-main \
+	 -aI$(ortho_srcdir)/gcc $(GNATFLAGS) ortho_gcc-main \
 	 -bargs -E -largs --LINK=$(LINKER) $(AGCC_OBJS) \
         $(BACKEND) $(LIBS) $(BACKENDLIBS)
 
-- 
cgit v1.2.3