diff options
| author |   Tom Jones <thj@freebsd.org> | 2024-01-18 10:48:17 +0000 |
|---|---|---|
| committer |   Damjan Marion <dmarion@0xa5.net> | 2024-01-21 14:42:03 +0000 |
| commit | 0aa0d6ffbe9bf02c3179b7cb2b978d1896655e05 (patch) | |
| tree | 0484efabd127b75916d4f114187dd6329ab3ee04 /docs/developer | |
| parent | 038dad7ef29b0b724071edb5f8cc7a9845584454 (diff) | |
build: Explicitly use gmake
VPP requires GNU Make to build, on GNU systems (such as Debian), GNU
Make is installed as 'make', typically with a symlink from 'gmake'.
On other systems (such as FreeBSD), 'make' is a BSD Make derriviative
and GNU Make is installed a 'gmake'.
Use $(MAKE) variable for make calls from within Makefiles. This
variable is set to the path of the calling make program, i.e.,
/usr/local/bin/gmake on a bsd system.
This is the recommended way to call make from Makefiles in the GNU Make
documentation.
Type: improvement
Change-Id: Id9162a34a0f8358f22090718087918dae31c0fce
Signed-off-by: Tom Jones <thj@freebsd.org>
Diffstat (limited to 'docs/developer')
0 files changed, 0 insertions, 0 deletions