diff options
| -rw-r--r-- | Makefile.in | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Makefile.in b/Makefile.in index 5f276adbc..ab4910e51 100644 --- a/Makefile.in +++ b/Makefile.in @@ -187,10 +187,10 @@ gcc_vhdl_dir=$(gcc_src_dir)/gcc/vhdl all.gcc: @echo "For installing sources in gcc, do:" - @echo "1) make copy-sources" + @echo "1) $(MAKE) copy-sources" @echo "2) configure, build and install gcc" - @echo "3) make ghdllib" - @echo "4) make install" + @echo "3) $(MAKE) ghdllib" + @echo "4) $(MAKE) install" copy-sources.gcc: version.ads $(RM) -rf $(gcc_vhdl_dir) |