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 c471b853e..541a0e9a0 100644 --- a/config-nodebug +++ b/config-nodebug @@ -8,7 +8,7 @@ CONFIG_SND_PCM_XRUN_DEBUG=y # CONFIG_DEBUG_RT_MUTEXES is not set # CONFIG_DEBUG_LOCK_ALLOC is not set # CONFIG_PROVE_LOCKING is not set -# CONFIG_DEBUG_SPINLOCK is not set +CONFIG_DEBUG_SPINLOCK=y # CONFIG_PROVE_RCU is not set # CONFIG_PROVE_RCU_REPEATEDLY is not set # CONFIG_DEBUG_PER_CPU_MAPS is not set |