diff options
| author | Martin Aberg <martin@fripost.org> | 2017-12-17 21:28:04 +0100 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2017-12-18 06:05:48 +0100 |
| commit | e58b78b4944be7d8242e3aa24d4dcc4edf10d8d5 (patch) | |
| tree | 0540a4cf4bad6626d195c7899eba8fb361108c66 /Makefile.in | |
| parent | 487e458b61836ac3398fa83d623e5a07da5b2a7a (diff) | |
| download | ghdl-e58b78b4944be7d8242e3aa24d4dcc4edf10d8d5.tar.gz ghdl-e58b78b4944be7d8242e3aa24d4dcc4edf10d8d5.tar.bz2 ghdl-e58b78b4944be7d8242e3aa24d4dcc4edf10d8d5.zip | |
Makefile.in: Updated all.gcc print statements
The $(MAKE) variable is provided by Make itself.
Diffstat (limited to 'Makefile.in')
| -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) |