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 c8e0d9f06..2ca9e9420 100644 --- a/src/grt/Makefile.inc +++ b/src/grt/Makefile.inc @@ -154,7 +154,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 && $(GNATMAKE) -b ghdl_main.ali -bargs -Lgrt_ -o run-bind.adb -n + cd grt && $(GNATMAKE) -b ghdl_main.ali -bargs -Lgrt_ -o run-bind.adb -n grt: mkdir grt |