diff options
| -rw-r--r-- | Makefile.inc | 1 |
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) |