diff options
| author | Justin M. Forbes <jforbes@redhat.com> | 2013-01-24 08:36:38 -0600 |
|---|---|---|
| committer | Justin M. Forbes <jforbes@redhat.com> | 2013-01-24 08:36:38 -0600 |
| commit | 09eb2a38f4a8d8785357d7c8aed6229e739eaf41 (patch) | |
| tree | d375326dd9aa96f3d12e3e4a1d280f4a1d33e572 /config-nodebug | |
| parent | 83db6693c426f57bcc6cdc3c05280f4da67b44f3 (diff) | |
| download | kernel-09eb2a38f4a8d8785357d7c8aed6229e739eaf41.tar.gz kernel-09eb2a38f4a8d8785357d7c8aed6229e739eaf41.tar.xz kernel-09eb2a38f4a8d8785357d7c8aed6229e739eaf41.zip | |
Linux v3.8-rc4-183-gff7532c
Diffstat (limited to 'config-nodebug')
| -rw-r--r-- | config-nodebug | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config-nodebug b/config-nodebug index 541a0e9a0..c39df4bc1 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 |