From 09eb2a38f4a8d8785357d7c8aed6229e739eaf41 Mon Sep 17 00:00:00 2001 From: "Justin M. Forbes" Date: Thu, 24 Jan 2013 08:36:38 -0600 Subject: Linux v3.8-rc4-183-gff7532c --- config-nodebug | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'config-nodebug') diff --git a/config-nodebug b/config-nodebug index 541a0e9a..c39df4bc 100644 --- a/config-nodebug +++ b/config-nodebug @@ -7,7 +7,7 @@ CONFIG_SND_PCM_XRUN_DEBUG=y # CONFIG_DEBUG_MUTEXES is not set # CONFIG_DEBUG_RT_MUTEXES is not set # CONFIG_DEBUG_LOCK_ALLOC is not set -# CONFIG_PROVE_LOCKING is not set +CONFIG_PROVE_LOCKING=y CONFIG_DEBUG_SPINLOCK=y # CONFIG_PROVE_RCU is not set # CONFIG_PROVE_RCU_REPEATEDLY is not set -- cgit