From e58b78b4944be7d8242e3aa24d4dcc4edf10d8d5 Mon Sep 17 00:00:00 2001 From: Martin Aberg Date: Sun, 17 Dec 2017 21:28:04 +0100 Subject: Makefile.in: Updated all.gcc print statements The $(MAKE) variable is provided by Make itself. --- Makefile.in | 6 +++--- 1 file 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) -- cgit v1.2.3