diff options
| author | Masahiro Yamada <yamada.m@jp.panasonic.com> | 2014-07-22 11:19:09 +0900 |
|---|---|---|
| committer | Tom Rini <trini@ti.com> | 2014-07-29 11:48:40 -0400 |
| commit | 99796923831445f29b029a0b6c15e8130bea393a (patch) | |
| tree | a1d7def7461fa969688c8aedd0f8a8b163f88117 /scripts/basic | |
| parent | e18fd9405cfa60765fdbb85af1b58a02e245ccb8 (diff) | |
| download | u-boot-99796923831445f29b029a0b6c15e8130bea393a.tar.gz u-boot-99796923831445f29b029a0b6c15e8130bea393a.tar.xz u-boot-99796923831445f29b029a0b6c15e8130bea393a.zip | |
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>
Diffstat (limited to 'scripts/basic')
0 files changed, 0 insertions, 0 deletions
