diff options
Diffstat (limited to 'src/grt/Makefile.inc')
| -rw-r--r-- | src/grt/Makefile.inc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/grt/Makefile.inc b/src/grt/Makefile.inc index ec1b0df09..bc59bb555 100644 --- a/src/grt/Makefile.inc +++ b/src/grt/Makefile.inc @@ -123,7 +123,7 @@ libgrt.a: $(GRT_ADD_OBJS) run-bind.o main.o grt-files # grt-arch.ads $(GRT_RANLIB) $@ run-bind.adb: grt-force - gnatmake -c $(GNATFLAGS) -aI$(GRTSRCDIR) $(GRT_PRAGMA_FLAG) \ + gnatmake -c -aI$(GRTSRCDIR) $(GRT_PRAGMA_FLAG) \ ghdl_main $(GRT_ADAFLAGS) -cargs $(GRT_FLAGS) gnatbind -Lgrt_ -o run-bind.adb -n ghdl_main.ali |