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