build bot (Jenkins) has posted comments on this change. ( https://review.coreboot.org/26984 )
Change subject: mainboard: Use pci_devfn_t or pnp_devfn_t instead of device_t
......................................................................
Patch Set 9: Verified-1
Build Unstable
https://qa.coreboot.org/job/coreboot-gerrit/74666/ : UNSTABLE
https://qa.coreboot.org/job/coreboot-checkpatch/28776/ : SUCCESS
--
To view, visit
https://review.coreboot.org/26984
To unsubscribe, or for help writing mail filters, visit
https://review.coreboot.org/settings
Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-MessageType: comment
Gerrit-Change-Id: Ie0ae3972eacc97ae154dad4fafd171aa1f38683a
Gerrit-Change-Number: 26984
Gerrit-PatchSet: 9
Gerrit-Owner: Elyes HAOUAS
ehaouas@noos.fr
Gerrit-Reviewer: build bot (Jenkins)
no-reply@coreboot.org
Gerrit-Comment-Date: Fri, 08 Jun 2018 18:33:36 +0000
Gerrit-HasComments: No
Gerrit-HasLabels: Yes