diff options
author | Martin Roth <martinroth@google.com> | 2015-10-13 12:27:56 -0600 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2015-10-15 12:21:19 +0000 |
commit | 21ca9beda44617e134d613274bafc512824e4a1b (patch) | |
tree | 93060f88f2738b68420f732bf6f7bf78d4960a20 /Documentation/Makefile | |
parent | cd32da425c8e7498bb8f5f68e6655d40f7a60325 (diff) |
abuild: add a command line parameter for junit filename
The 'what-jenkins-does' makefile target was renaming the junit filename
after abuild finished. Instead, just add a command line parameter to
send it to a different filename.
Change-Id: I66f7d80d621573d77a5154f36f2db49d7b2e948a
Signed-off-by: Martin Roth <martinroth@google.com>
Reviewed-on: http://review.coreboot.org/11878
Tested-by: build bot (Jenkins)
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'Documentation/Makefile')
0 files changed, 0 insertions, 0 deletions