eba14763897bb8f353c4e7471898788596a26ba5
The user of the script may now override the default name of the host platform's GNU make utility by passing in a MAKE variable. Along with the previous commits and upcoming documentation changes, this fixes #93. Change-Id: I97fc501413ade50c48ebb5471584f9281ae45a11
Description
No description provided