diff options
Diffstat (limited to 'tools/buildman/buildman.py')
-rwxr-xr-x | tools/buildman/buildman.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/buildman/buildman.py b/tools/buildman/buildman.py index da6025a648..f32557fee7 100755 --- a/tools/buildman/buildman.py +++ b/tools/buildman/buildman.py @@ -113,6 +113,8 @@ parser.add_option('-T', '--threads', type='int', default=None, help='Number of builder threads to use') parser.add_option('-u', '--show_unknown', action='store_true', default=False, help='Show boards with unknown build result') +parser.add_option('-v', '--verbose', action='store_true', + default=False, help='Show build results while the build progresses') parser.usage = """buildman -b <branch> [options] |