what-jenkins-does: make CPU count configurable

Hardware / Coreboot - Patrick Georgi [google.com] - 31 July 2015 12:43 UTC

Change-Id: I55eb833dba3b13c46138f7d1facc31d999e52db4

c6a4aae what-jenkins-does: make CPU count configurable
Makefile.inc | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)

Upstream: review.coreboot.org


  • Share