diff options
author | Martin Roth <martinroth@google.com> | 2015-10-21 15:28:21 -0600 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2015-10-24 10:55:52 +0200 |
commit | 917acb5656542e7966846f03073d700fc04dcb33 (patch) | |
tree | 843feaa1347221e91cf530e52922135584630afd /.gitignore | |
parent | 0be83c09a066119f5fded3bd1344f90a0a98d52c (diff) |
util: update junit.xml target
- Display what's happening to the console as well as logging to the
junit.xml file.
- Log the clean in the junit.xml file so if it fails it doesn't just
appear to not have run the test.
- Run both clean and distclean (if distclean exists and runs clean,
this still only runs clean once) so that if distclean doesn't exist
the clean still happens. Don't stop the build if the clean step
fails in case there's no distclean in the util makefile.
- Run the util builds multithreaded. This saves a couple of seconds
and helps find dependency issues that might not be seen if building
single-threaded.
Change-Id: If895295c83faba98661b7c925b65fd436e06b834
Signed-off-by: Martin Roth <martinroth@google.com>
Reviewed-on: http://review.coreboot.org/12121
Tested-by: build bot (Jenkins)
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions