diff options
author | ayan george <[email protected]> | 2023-09-28 12:49:48 -0400 |
---|---|---|
committer | Ayke <[email protected]> | 2023-10-01 14:55:34 +0200 |
commit | 738747bd0589ff304e17d2b3efd6f3dbf88ad809 (patch) | |
tree | db6ba97667cfd74112705abfd523c68edaf68084 /docs | |
parent | 0bb4a8abeb132ea1a7aedba2cd910b1db4e0a2da (diff) | |
download | tinygo-738747bd0589ff304e17d2b3efd6f3dbf88ad809.tar.gz tinygo-738747bd0589ff304e17d2b3efd6f3dbf88ad809.zip |
build: use $(MAKE) to represent make executable
Prior to this commit, our Makefiles assumed the name of the make program
was simply "make".
Since we use GNU make extensions, this isn't always the case --
operating systems like FreeBSD come with their own implementation named
make which can be incompatible with the extensions used in by tinygo.
To run a compatible make on some of these systems, we have explicitly
call GNU make by running gmake.
This commit changes references to the command "make" to "$(MAKE)" which
is a variable that contains the name of the executable invoked to
process the Makefile.
This allow the Makefiles to be uniformly processed by the same make
program.
Diffstat (limited to 'docs')
-rw-r--r-- | docs/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/Makefile b/docs/Makefile index e7128bfeb..fb389bebe 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -16,7 +16,7 @@ I18NSPHINXOPTS = $(PAPEROPT_$(PAPER)) $(SPHINXOPTS) . .PHONY: help help: - @echo "Please use \`make <target>' where <target> is one of" + @echo "Please use \`$(MAKE) <target>' where <target> is one of" @echo " html to make standalone HTML files" @echo " dirhtml to make HTML files named index.html in directories" @echo " singlehtml to make a single large HTML file" |