summaryrefslogtreecommitdiffstats
path: root/scripts/.gitignore
diff options
context:
space:
mode:
authorStefano Stabellini <stefano.stabellini@eu.citrix.com>2011-09-29 12:05:58 +0100
committerKonrad Rzeszutek Wilk <konrad.wilk@oracle.com>2011-09-29 10:52:16 -0400
commit5fbdc10395cd500d6ff844825a918c4e6f38de37 (patch)
tree4c8c1d066ba9176de2c6ffb11d77efd2c3190ff0 /scripts/.gitignore
parentb17d0b5c0824b6a6f143a6587fa7d47abe006ab4 (diff)
xen: remove XEN_PLATFORM_PCI config option
Xen PVHVM needs xen-platform-pci, on the other hand xen-platform-pci is useless in any other cases. Therefore remove the XEN_PLATFORM_PCI config option and compile xen-platform-pci built-in if XEN_PVHVM is selected. Changes to v1: - remove xen-platform-pci.o and just use platform-pci.o since it is not externally visible anymore. Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com> Signed-off-by: Konrad Rzeszutek Wilk <konrad.wilk@oracle.com>
Diffstat (limited to 'scripts/.gitignore')
0 files changed, 0 insertions, 0 deletions