x86: don't call '->send_IPI_mask()' with an empty mask

[linux-2.6/mini2440.git] / arch / arm / mach-versatile / Makefile

#
# Makefile for the linux kernel.
#

obj-y                                   := core.o clock.o
obj-$(CONFIG_ARCH_VERSATILE_PB)         += versatile_pb.o
obj-$(CONFIG_MACH_VERSATILE_AB)         += versatile_ab.o
obj-$(CONFIG_PCI)                       += pci.o