tree a1d7def7461fa969688c8aedd0f8a8b163f88117
parent 553b1fc98ea68a21a13336756cbed1e2149a2c83
author Masahiro Yamada <yamada.m@jp.panasonic.com> 1405995549 +0900
committer Tom Rini <trini@ti.com> 1406648920 -0400

buildman: make sure to invoke GNU Make

Since the command name 'make' may not be GNU Make on some platforms
such as FreeBSD, buildman should call scripts/show-gnu-make to get
the command name for GNU MAKE (and error out if it is not found).

Signed-off-by: Masahiro Yamada <yamada.m@jp.panasonic.com>
Acked-by: Simon Glass <sjg@chromium.org>
Tested-by: Jeroen Hofstee <jeroen@myspectrum.nl>