tree 811bd3950582645a3f28f57678a202687df15254
parent 6029af104a6d9c8513cad6e63c330fc12dd5fd5e
author Simon Glass <sjg@chromium.org> 1586466532 -0600
committer Simon Glass <sjg@chromium.org> 1587472427 -0600

buildman: Add an option to ignore device-tree warnings

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@chromium.org>