diff options
| author | Tom Rini <trini@konsulko.com> | 2018-11-23 17:25:27 -0500 |
|---|---|---|
| committer | Tom Rini <trini@konsulko.com> | 2018-11-23 17:25:27 -0500 |
| commit | 5830791d91d1200854ef78fcb32f808c8080f0f0 (patch) | |
| tree | c9ec3c59244371d8ad9992a2ba332a7b50d33950 /tools/buildman/control.py | |
| parent | a3e1653ddeb02f39481eba572275016171e9670c (diff) | |
| parent | a58986ca8b53d8c7a441397082f84edc7f47d19f (diff) | |
Merge tag 'pull-tg18' of git://git.denx.de/u-boot-dm
Various minor sandbox improvements
Better buildman warning handling
Misc other things
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 96f8ccfe070..c900211510e 100644 --- a/tools/buildman/control.py +++ b/tools/buildman/control.py @@ -164,7 +164,7 @@ def DoBuildman(options, args, toolchains=None, make_func=None, boards=None, if no_toolchains: toolchains.GetSettings() - toolchains.Scan(options.list_tool_chains) + toolchains.Scan(options.list_tool_chains and options.verbose) if options.list_tool_chains: toolchains.List() print |