Martin Roth 21ca9beda4 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>		2015-10-15 12:21:19 +00:00
..
abuild	abuild: add a command line parameter for junit filename	2015-10-15 12:21:19 +00:00
abuild.1	…
getopt.c	…