diff options
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 |