diff options
Diffstat (limited to 'src/grt')
| -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 bf6f9dbf0..48acc1423 100644 --- a/src/grt/Makefile.inc +++ b/src/grt/Makefile.inc @@ -117,7 +117,7 @@ grt/run-bind.adb: grt $(GRT_SRC_DEPS) grt-force # Set No Run-Time flag to suppress references to standard gnat library. sed -e '/^P /s/P /P NR /' < grt/ghdl_main.ali > grt/ghdl_main-tmp.ali $(MV) grt/ghdl_main-tmp.ali grt/ghdl_main.ali - cd grt; gnatbind -Lgrt_ -o run-bind.adb -n ghdl_main.ali + cd grt; $(GNATMAKE) -b ghdl_main.ali -bargs -Lgrt_ -o run-bind.adb -n grt: mkdir grt |