diff options
Diffstat (limited to 'src/ortho/mcode/Makefile')
| -rw-r--r-- | src/ortho/mcode/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ortho/mcode/Makefile b/src/ortho/mcode/Makefile index 57c0d75ef..572c13f42 100644 --- a/src/ortho/mcode/Makefile +++ b/src/ortho/mcode/Makefile @@ -9,7 +9,7 @@ all: $(ortho_exec) $(ortho_exec): $(ortho_srcdir)/mcode/ortho_mcode.ads memsegs_c.o force $(GNATMAKE) -o $@ -g -aI$(ortho_srcdir)/mcode -aI$(ortho_srcdir) \ - -aI$(ortho_srcdir)/.. $(GNAT_FLAGS) ortho_code_main \ + -aI$(ortho_srcdir)/.. $(GNAT_FLAGS) -gnatw.A ortho_code_main \ -bargs -E -largs memsegs_c.o #-static memsegs_c.o: $(ortho_srcdir)/mcode/memsegs_c.c |