build bot (Jenkins) has posted comments on this change. ( https://review.coreboot.org/19069 )
Change subject: Makefile.inc: Fix jenkins build of nvramcui & coreinfo ......................................................................
Patch Set 1: Verified+1
Build Successful
https://qa.coreboot.org/job/coreboot-checkpatch/7004/ : SUCCESS
https://qa.coreboot.org/job/coreboot-gerrit/51035/ : SUCCESS