summaryrefslogtreecommitdiff
path: root/Documentation/Makefile
diff options
context:
space:
mode:
authorPatrick Georgi <pgeorgi@chromium.org>2015-09-15 17:30:52 +0200
committerPatrick Georgi <pgeorgi@google.com>2015-09-16 07:43:43 +0000
commit053322f891961be7d7826617d2e68dab340f9a09 (patch)
tree7316b48abedb2d03a9afc21773f7ccdb17a0b678 /Documentation/Makefile
parent098c4a80962437c6d23dc3fde894a1c3a7bf0ca0 (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 'Documentation/Makefile')
0 files changed, 0 insertions, 0 deletions