[coreboot-gerrit] Change in coreboot[master]: util/sconfig: Fix for multidomain support sconfig/devicetree.cb

[Mariusz Szafrański (Code Review)]

Attention is currently required from: Furquan Shaikh, Martin Roth, Angel Pons, Michal Motyl.
Hello build bot (Jenkins), Furquan Shaikh, Patrick Georgi, Martin Roth, Suresh Bellampalli, Subrata Banik, Angel Pons, Michal Motyl,

I'd like you to reexamine a change. Please visit

https://review.coreboot.org/c/coreboot/+/51180

to look at the new patch set (#3).

Change subject: util/sconfig: Fix for multidomain support sconfig/devicetree.cb
......................................................................

util/sconfig: Fix for multidomain support sconfig/devicetree.cb

Fixes sconfig related build errors while there exists DEV.FUNC number
shared by two devices from different domains (root buses)
i.e.
    device domain 0 on
    	device pci 00.0 on end
    	.......
    end
    device domain 1 on
    	device pci 00.0 on end
    	.......
    end
Two domains (each with it`s own root PCI bus) and device with 00.0
exists on both buses.

Change-Id: Idd639d0cb3ed1a49ed7c7b1c77ac747ba6f77672
Signed-off-by: Mariusz Szafranski 
---
M util/sconfig/main.c
1 file changed, 9 insertions(+), 8 deletions(-)

git pull ssh://review.coreboot.org:29418/coreboot refs/changes/80/51180/3