From 99f0e0c4dc41a2ea427242e16bc525baf261ea73 Mon Sep 17 00:00:00 2001
From: Patrick Georgi <pgeorgi@google.com>
Date: Thu, 25 Jul 2019 12:34:43 +0200
Subject: 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>
---
 util/testing/Makefile.inc | 1 +
 1 file changed, 1 insertion(+)

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
-- 
cgit v1.2.3