diff options
| -rw-r--r-- | Makefile.inc | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Makefile.inc b/Makefile.inc index 6f9d77f08d..310944b813 100644 --- a/Makefile.inc +++ b/Makefile.inc @@ -706,8 +706,11 @@ junit.xml: TOOLLIST= \ cbmem \ + ectool \ inteltool \ - nvramtool + nvramtool \ + superiotool \ + viatool JENKINS_PAYLOAD?=none CPUS?=4 what-jenkins-does: |