Use $(MAKE) when re-invoking make
This fixes our new nested Makefile on platforms where GNU make is gmake
.
$(MAKE)
is a magic variable set by Make itself, which contains the name the top level Make process was invoked as. By using $(MAKE)
every time we re-invoke make, a custom executable name such as gmake
gets handed down correctly.
Edited by GitLab Release Tools Bot