diff options
Diffstat (limited to 'Makefile.inc')
| -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: |