summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--util/testing/Makefile.inc2
1 files changed, 2 insertions, 0 deletions
diff --git a/util/testing/Makefile.inc b/util/testing/Makefile.inc
index 88728841a3..d09419682a 100644
--- a/util/testing/Makefile.inc
+++ b/util/testing/Makefile.inc
@@ -79,8 +79,10 @@ COREBOOT_BUILD_DIR?=coreboot-builds
what-jenkins-does:
rm -rf $(COREBOOT_BUILD_DIR)/chromeos $(COREBOOT_BUILD_DIR)/default
+ifneq ($(JENKINS_SKIP_LINT_TESTS),y)
util/lint/lint lint-stable --junit
util/lint/lint lint-extended --junit
+endif
util/abuild/abuild -o $(COREBOOT_BUILD_DIR)/chromeos $(ABUILD_OPTIONS) -x -X $(top)/abuild-chromeos.xml
util/abuild/abuild -o $(COREBOOT_BUILD_DIR)/default $(ABUILD_OPTIONS)
$(foreach tool, $(TOOLLIST), $(MAKE) CPUS=$(CPUS) V=$(V) Q=$(Q) BLD_DIR="util/$(tool)" BLD="$(tool)" MFLAGS= MAKEFLAGS= MAKETARGET= junit.xml; )