diff options
Diffstat (limited to 'src/ortho/gcc/Makefile')
-rw-r--r-- | src/ortho/gcc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
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) |