[U-Boot] [PATCH v2 0/3] Do not hard-code the command name 'make' in higher-level tools

[Masahiro Yamada]

Masahiro Yamada (3):
  scripts: add scripts/show-gnu-make to get GNU Make command name
  MAKEALL: make sure to invoke GNU Make
  buildman: make sure to invoke GNU Make

 MAKEALL                   | 12 +++++++++---
 scripts/show-gnu-make     | 25 +++++++++++++++++++++++++
 tools/buildman/builder.py |  6 ++++--
 tools/buildman/control.py |  9 ++++++++-
 4 files changed, 46 insertions(+), 6 deletions(-)
 create mode 100755 scripts/show-gnu-make

-- 
1.9.1