diff options
| author | Stefano Babic <sbabic@denx.de> | 2014-08-08 10:18:40 +0200 |
|---|---|---|
| committer | Stefano Babic <sbabic@denx.de> | 2014-08-08 10:18:40 +0200 |
| commit | c23154aab5825fec81d5500c53eaa686646c76b5 (patch) | |
| tree | 32b0aafae49f664a65ced50981492bb031f006b8 /tools/buildman/buildman.py | |
| parent | cb07d74e2e0c0a41533b6bcd551af9bf2ebcf2bc (diff) | |
| parent | 9d195a546179bc732aba9eacccf0a9a3db591288 (diff) | |
Merge branch 'master' of git://git.denx.de/u-boot-arm
Diffstat (limited to 'tools/buildman/buildman.py')
| -rwxr-xr-x | tools/buildman/buildman.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/buildman/buildman.py b/tools/buildman/buildman.py index 73a5483d46..0da6797e7f 100755 --- a/tools/buildman/buildman.py +++ b/tools/buildman/buildman.py @@ -72,6 +72,9 @@ parser.add_option('-e', '--show_errors', action='store_true', parser.add_option('-f', '--force-build', dest='force_build', action='store_true', default=False, help='Force build of boards even if already built') +parser.add_option('-F', '--force-build-failures', dest='force_build_failures', + action='store_true', default=False, + help='Force build of previously-failed build') parser.add_option('-d', '--detail', dest='show_detail', action='store_true', default=False, help='Show detailed information for each board in summary') |