summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--util/testing/Makefile.inc1
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