diff options
| author | Tom Rini <trini@konsulko.com> | 2015-04-18 19:24:13 -0400 |
|---|---|---|
| committer | Tom Rini <trini@konsulko.com> | 2015-04-18 19:24:13 -0400 |
| commit | b8d7652c81689a69bc6eaa206cf875bbe632831c (patch) | |
| tree | 07dfe799746a81e14b939e3d52157d4aaa319881 /tools/buildman/control.py | |
| parent | 9efaca3e847696ed40fca1dbbc621fcc35b8d94c (diff) | |
| parent | 35ce2dc4d1148b66ce9271d15879dbfec5dd57f4 (diff) | |
Merge branch 'buildman' of git://git.denx.de/u-boot-x86
Diffstat (limited to 'tools/buildman/control.py')
| -rw-r--r-- | tools/buildman/control.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/buildman/control.py b/tools/buildman/control.py index 720b978b238..8b3cd30c001 100644 --- a/tools/buildman/control.py +++ b/tools/buildman/control.py @@ -282,7 +282,8 @@ def DoBuildman(options, args, toolchains=None, make_func=None, boards=None, options.show_detail = True builder.SetDisplayOptions(options.show_errors, options.show_sizes, options.show_detail, options.show_bloat, - options.list_error_boards) + options.list_error_boards, + options.show_config) if options.summary: builder.ShowSummary(commits, board_selected) else: |