Patrick Georgi (pgeorgi@google.com) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/11097
-gerrit
commit 005ec5fbf4773fa2a763a3ef58bfa6f47ee9ad25 Author: Patrick Georgi pgeorgi@google.com Date: Fri Jul 31 16:54:44 2015 +0200
what-jenkins-does: make CPU count configurable
Change-Id: I55eb833dba3b13c46138f7d1facc31d999e52db4 Signed-off-by: Patrick Georgi pgeorgi@google.com --- Makefile.inc | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/Makefile.inc b/Makefile.inc index 0cb597f..ef9b522 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