From d98471ccb412f61d7da2c5eb5ca8eeb8fece384a Mon Sep 17 00:00:00 2001 From: Paul Menzel Date: Sun, 18 Oct 2015 11:45:52 +0200 Subject: [PATCH] Makefile.inc: Put every tool in `TOOLLIST` on separate line This way, commit differences will be easier to read. Also sort the list lexicographically. Change-Id: I4ce3ac9018a3fddf5e30d7c1ac0c57090fac1d3d Signed-off-by: Paul Menzel Reviewed-on: http://review.coreboot.org/12084 Tested-by: build bot (Jenkins) Reviewed-by: Martin Roth --- Makefile.inc | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Makefile.inc b/Makefile.inc index cf1ac06a6c..3a0d0bcf0e 100644 --- a/Makefile.inc +++ b/Makefile.inc @@ -699,7 +699,10 @@ junit.xml: echo "" >> $@.tmp mv $@.tmp "util/$(UTIL)/$@" -TOOLLIST=cbmem nvramtool inteltool +TOOLLIST= \ + cbmem \ + inteltool \ + nvramtool JENKINS_PAYLOAD?=none CPUS?=4 what-jenkins-does: