This client driver allows you to use a GPIO pin as a source for PPS
[linux-2.6/next.git] / arch / arm / vfp / Makefile
blob6de73aab019599fd4a53abdffa39b863a090128f
2 # linux/arch/arm/vfp/Makefile
4 # Copyright (C) 2001 ARM Limited
7 # ccflags-y := -DDEBUG
8 # asflags-y := -DDEBUG
10 KBUILD_AFLAGS :=$(KBUILD_AFLAGS:-msoft-float=-Wa,-mfpu=softvfp+vfp)
11 LDFLAGS +=--no-warn-mismatch
13 obj-y += vfp.o
15 vfp-$(CONFIG_VFP) += vfpmodule.o entry.o vfphw.o vfpsingle.o vfpdouble.o