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

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