diff options
| author | Paul Menzel <paulepanter@users.sourceforge.net> | 2015-10-18 11:45:52 +0200 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2015-10-18 16:39:08 +0000 |
| commit | d98471ccb412f61d7da2c5eb5ca8eeb8fece384a (patch) | |
| tree | b4ee06f34a66fed7839c419d267017244e4f6b39 | |
| parent | 3414561f00f49266580fa9372a24ef8578c7d932 (diff) | |
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 <paulepanter@users.sourceforge.net>
Reviewed-on: http://review.coreboot.org/12084
Tested-by: build bot (Jenkins)
Reviewed-by: Martin Roth <martinroth@google.com>
| -rw-r--r-- | Makefile.inc | 5 |
1 files changed, 4 insertions, 1 deletions
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 "</testsuite>" >> $@.tmp mv $@.tmp "util/$(UTIL)/$@" -TOOLLIST=cbmem nvramtool inteltool +TOOLLIST= \ + cbmem \ + inteltool \ + nvramtool JENKINS_PAYLOAD?=none CPUS?=4 what-jenkins-does: |