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: