diff options
Diffstat (limited to 'Makefile.inc')
| -rw-r--r-- | Makefile.inc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile.inc b/Makefile.inc index 0cb597fba4..ef9b52231c 100644 --- a/Makefile.inc +++ b/Makefile.inc @@ -681,7 +681,8 @@ $(obj)/board_id: printf $(CONFIG_BOARD_ID_STRING) > $@ JENKINS_PAYLOAD?=none +CPUS?=4 what-jenkins-does: - util/abuild/abuild -B -J $(if $(JENKINS_NOCCACHE),,-y) -c 4 -z -p $(JENKINS_PAYLOAD) + 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) $(MAKE) V=$(V) Q=$(Q) -C util/cbmem junit.xml |