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 |
||
|---|---|---|
| .. | ||
| include | ||
| passes | ||
| generate_gold_plugin.sh | ||
| Makefile | ||
| Makefile.inc | ||