[PATCH v2 25/28] buildman: Add an option to ignore device-tree warnings

[sjg at google.com]

Unfortunately the plague of device-tree warnings has not lifted. These
warnings infiltrate almost every build, adding noise and confusion.

Add a buildman option to ignore them. This option works only with the
summary option (-s). It does not affect the build process.

Signed-off-by: Simon Glass <sjg at chromium.org>
---

Changes in v2:
- Drop use of temporary 'line' variable

 tools/buildman/README     |  3 +++
 tools/buildman/builder.py | 27 +++++++++++++++++----------
 tools/buildman/cmdline.py |  3 +++
 tools/buildman/control.py | 11 +++++------
 tools/buildman/test.py    | 31 ++++++++++++++++++++++++-------
 5 files changed, 52 insertions(+), 23 deletions(-)

Applied to u-boot-dm, thanks!