diff options
| author | Patrick Georgi <pgeorgi@google.com> | 2019-07-25 12:34:43 +0200 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2019-07-26 11:07:01 +0000 |
| commit | 99f0e0c4dc41a2ea427242e16bc525baf261ea73 (patch) | |
| tree | eca1aba9b2f567cf40359b1919435d3acc3c2ea4 /util | |
| parent | 3a0cad30f24217c7408ba2174792c1975dba3f66 (diff) | |
util/testing: Allow adding abuild options to what-jenkins-does
JENKINS_ABUILD_OPT is passed in abuild's command line
Change-Id: I5e7fbb77a3c6592a4414a6c1e3f7556c7e3a824c
Signed-off-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/34568
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Martin Roth <martinroth@google.com>
Reviewed-by: Jacob Garber <jgarber1@ualberta.ca>
Diffstat (limited to 'util')
| -rw-r--r-- | util/testing/Makefile.inc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/util/testing/Makefile.inc b/util/testing/Makefile.inc index 6315af226d..d84c5a4f9b 100644 --- a/util/testing/Makefile.inc +++ b/util/testing/Makefile.inc @@ -83,6 +83,7 @@ lint lint-stable lint-extended: ABUILD_OPTIONS=-B -J -c $(CPUS) -z -p $(JENKINS_PAYLOAD) ABUILD_OPTIONS+=$(if $(V),-v,) ABUILD_OPTIONS+=$(if $(JENKINS_NOCCACHE),,-y) +ABUILD_OPTIONS+=$(JENKINS_ABUILD_OPT) what-jenkins-does: util/lint/lint lint-stable --junit |