David van Moolenbroek eba1476389 generate_gold_plugin: support for MAKE variable ...

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

2016-01-13 20:32:36 +01:00

..

include

…

passes

…

generate_gold_plugin.sh

generate_gold_plugin: support for MAKE variable

2016-01-13 20:32:36 +01:00

Makefile

…

Makefile.inc

…