summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile.inc1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.inc b/Makefile.inc
index 1c81c69347..38b2d40f57 100644
--- a/Makefile.inc
+++ b/Makefile.inc
@@ -684,6 +684,7 @@ $(obj)/board_id:
JENKINS_PAYLOAD?=none
CPUS?=4
what-jenkins-does:
+ util/lint/lint lint-stable --junit
util/abuild/abuild -B -J $(if $(JENKINS_NOCCACHE),,-y) -c $(CPUS) -z -p $(JENKINS_PAYLOAD) -x -X $(top)/abuild-chromeos.xml
util/abuild/abuild -B -J $(if $(JENKINS_NOCCACHE),,-y) -c $(CPUS) -z -p $(JENKINS_PAYLOAD)
(cd payloads/libpayload; unset COREBOOT_BUILD_DIR; $(MAKE) $(if $(JENKINS_NOCCACHE),,CONFIG_LP_CCACHE=y) V=$(V) Q=$(Q) junit.xml)