diff options
Diffstat (limited to 'util/testing/Makefile.inc')
| -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 |