diff options
| author | Tom Rini <trini@konsulko.com> | 2016-09-20 09:34:53 -0400 |
|---|---|---|
| committer | Tom Rini <trini@konsulko.com> | 2016-09-20 09:34:53 -0400 |
| commit | a2ed3f452dd1cf4982fe46d5111d200909786686 (patch) | |
| tree | a66b5a2f3b6491df7ba9345178502959fb19c84f /tools/buildman/control.py | |
| parent | 60c629b836fb6b6ae79e4e0663977056d75de198 (diff) | |
| parent | 8f224b3734d042884a8981a14db64c48e87b87a2 (diff) | |
Merge git://git.denx.de/u-boot-dm
Diffstat (limited to 'tools/buildman/control.py')
| -rw-r--r-- | tools/buildman/control.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/buildman/control.py b/tools/buildman/control.py index b86d7b3c1f9..0b6ab03b4c3 100644 --- a/tools/buildman/control.py +++ b/tools/buildman/control.py @@ -237,7 +237,7 @@ def DoBuildman(options, args, toolchains=None, make_func=None, boards=None, options.step = len(series.commits) - 1 gnu_make = command.Output(os.path.join(options.git, - 'scripts/show-gnu-make')).rstrip() + 'scripts/show-gnu-make'), raise_on_error=False).rstrip() if not gnu_make: sys.exit('GNU Make not found') |