diff options
author | Patrick Georgi <pgeorgi@chromium.org> | 2015-09-15 17:30:52 +0200 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2015-09-16 07:43:43 +0000 |
commit | 053322f891961be7d7826617d2e68dab340f9a09 (patch) | |
tree | 7316b48abedb2d03a9afc21773f7ccdb17a0b678 /util/lint | |
parent | 098c4a80962437c6d23dc3fde894a1c3a7bf0ca0 (diff) |
abuild: log bulding tools
We build the coreboot utilities in a separate step as a minor
optimization. When logging in junit format (for jenkins), we want to
have a report on those as well (instead of an xml error).
Change-Id: Ibcd3b02bce9a314c30b5f7414e9e4cf0149ffd6a
Signed-off-by: Patrick Georgi <pgeorgi@chromium.org>
Reviewed-on: http://review.coreboot.org/11641
Tested-by: build bot (Jenkins)
Reviewed-by: Aaron Durbin <adurbin@chromium.org>
Diffstat (limited to 'util/lint')
0 files changed, 0 insertions, 0 deletions