]> git.ipfire.org Git - people/ms/u-boot.git/blobdiff - tools/buildman/buildman.py
Merge branch 'u-boot-sunxi/master' into 'u-boot-arm/master'
[people/ms/u-boot.git] / tools / buildman / buildman.py
index 73a5483d46b4da9178cd974779d17556d921bf10..0da6797e7f016a4c66ade07d60913f42446b17f3 100755 (executable)
@@ -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')