Il 09/05/2013 02:31, David Gibson ha scritto: > diff --git a/hw/pci/Makefile.objs b/hw/pci/Makefile.objs > index a7fb9d0..2ad32b6 100644 > --- a/hw/pci/Makefile.objs > +++ b/hw/pci/Makefile.objs > @@ -8,4 +8,4 @@ common-obj-$(CONFIG_PCI) += pcie.o pcie_aer.o pcie_port.o > common-obj-$(CONFIG_NO_PCI) += pci-stub.o > common-obj-$(CONFIG_ALL) += pci-stub.o > > -obj-$(CONFIG_PCI_HOTPLUG) += pci-hotplug.o > +obj-$(CONFIG_PCI_HOTPLUG_OLD) += pci-hotplug-old.o
With these changes, pci-hotplug-old.o can be compiled just once. Please s/^obj-/common-obj-/. Thanks, Paolo