[U-Boot] [PATCH 3/3] buildman: make sure to invoke GNU Make

[Masahiro Yamada]

Since the command name 'make' is not GNU Make on some platforms
such as FreeBSD, MAKEALL should call the make via scripts/gnu_make.

Signed-off-by: Masahiro Yamada <yamada.m at jp.panasonic.com>
---

 tools/buildman/builder.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/tools/buildman/builder.py b/tools/buildman/builder.py
index 4a2d753..c68cc8c 100644
--- a/tools/buildman/builder.py
+++ b/tools/buildman/builder.py
@@ -667,7 +667,8 @@ class Builder:
             args: Arguments to pass to make
             kwargs: Arguments to pass to command.RunPipe()
         """
-        cmd = ['make'] + list(args)
+        gnu_make = os.path.join(self.git_dir, '../scripts/gnu_make')
+        cmd = [gnu_make] + list(args)
         result = command.RunPipe([cmd], capture=True, capture_stderr=True,
                 cwd=cwd, raise_on_error=False, **kwargs)
         return result
-- 
1.9.1