1 files changed, 1 insertions, 0 deletions
diff --git a/kernel/Makefile b/kernel/Makefile
index df6ef3263699..47dbcd570cd8 100644
--- a/kernel/Makefile
+++ b/kernel/Makefile
@@ -27,6 +27,7 @@ obj-$(CONFIG_RT_MUTEX_TESTER) += rtmutex-tester.o
 obj-$(CONFIG_GENERIC_ISA_DMA) += dma.o
 obj-$(CONFIG_SMP) += cpu.o spinlock.o
 obj-$(CONFIG_DEBUG_SPINLOCK) += spinlock.o
+obj-$(CONFIG_PROVE_LOCKING) += spinlock.o
 obj-$(CONFIG_UID16) += uid16.o
 obj-$(CONFIG_MODULES) += module.o
 obj-$(CONFIG_KALLSYMS) += kallsyms.o

diff --git a/kernel/Makefile b/kernel/Makefile index df6ef3263699..47dbcd570cd8 100644 --- a/kernel/Makefile +++ b/kernel/Makefile
@@ -27,6 +27,7 @@ obj-$(CONFIG_RT_MUTEX_TESTER) += rtmutex-tester.o
27	obj-$(CONFIG_GENERIC_ISA_DMA) += dma.o	27	obj-$(CONFIG_GENERIC_ISA_DMA) += dma.o
28	obj-$(CONFIG_SMP) += cpu.o spinlock.o	28	obj-$(CONFIG_SMP) += cpu.o spinlock.o
29	obj-$(CONFIG_DEBUG_SPINLOCK) += spinlock.o	29	obj-$(CONFIG_DEBUG_SPINLOCK) += spinlock.o
		30	obj-$(CONFIG_PROVE_LOCKING) += spinlock.o
30	obj-$(CONFIG_UID16) += uid16.o	31	obj-$(CONFIG_UID16) += uid16.o
31	obj-$(CONFIG_MODULES) += module.o	32	obj-$(CONFIG_MODULES) += module.o
32	obj-$(CONFIG_KALLSYMS) += kallsyms.o	33	obj-$(CONFIG_KALLSYMS) += kallsyms.o