[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: Martin Roth, Mariusz Szafrański, Michal Motyl.
Hello build bot (Jenkins), 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 (#2).

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, 4 insertions(+), 4 deletions(-)

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