diff options
author | Simon Glass <sjg@chromium.org> | 2023-07-19 17:48:27 -0600 |
---|---|---|
committer | Simon Glass <sjg@chromium.org> | 2023-07-24 09:34:10 -0600 |
commit | 1b21842eab660ab1f80b89057abab99473b3bb5a (patch) | |
tree | 9dbed46d2fe2543ec7bb6f320619f576b20ec385 /.azure-pipelines.yml | |
parent | 9a7cc8121f974582d3f07201b3e119e0d7c91559 (diff) | |
download | u-boot-1b21842eab660ab1f80b89057abab99473b3bb5a.zip u-boot-1b21842eab660ab1f80b89057abab99473b3bb5a.tar.gz u-boot-1b21842eab660ab1f80b89057abab99473b3bb5a.tar.bz2 |
buildman: Add an option to check maintainers
Rather than using the -R option to get this report as a side effect, add
a dedicated option for it.
Disable CI for now as there are some missing maintainers, unfortunately.
Signed-off-by: Simon Glass <sjg@chromium.org>
Diffstat (limited to '.azure-pipelines.yml')
-rw-r--r-- | .azure-pipelines.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.azure-pipelines.yml b/.azure-pipelines.yml index ef7711d..2678e5a 100644 --- a/.azure-pipelines.yml +++ b/.azure-pipelines.yml @@ -123,7 +123,7 @@ stages: options: $(container_option) steps: - script: | - ./tools/buildman/buildman -R + ./tools/buildman/buildman --maintainer-check || exit 0 - job: tools_only displayName: 'Ensure host tools build' |