diff options
Diffstat (limited to 'src/ortho/debug/Makefile')
-rw-r--r-- | src/ortho/debug/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/ortho/debug/Makefile b/src/ortho/debug/Makefile index d7d297c1b..39dbbc113 100644 --- a/src/ortho/debug/Makefile +++ b/src/ortho/debug/Makefile @@ -29,7 +29,8 @@ all: $(ortho_exec) $(ortho_exec): force $(ortho_srcdir)/$(BE)/ortho_debug.ads - $(GNATMAKE) -o $@ $(GNATMAKE_FLAGS) ortho_debug-main -bargs -E -largs $(LDFLAGS) + $(GNATMAKE) -o $@ $(GNATMAKE_FLAGS) ortho_debug-main \ + -bargs -E -largs $(LDFLAGS) $(GNATLFLAGS) clean: $(RM) -f *.o *.ali *~ b~*.ad? ortho_nodes-main |