...which does some checks about make and could otherwise add some unhelpful
MAKE=make into its Makefiles if it doesn't find a make (so that the following
$(MAKE) step would needlessly fail).

Change-Id: Id8d11ffbc5a09c9f7f61fb12acc2481468746404