diff options
-rw-r--r-- | lib/Kconfig.debug | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Kconfig.debug b/lib/Kconfig.debug index dfdad67d8f6c..c1e720a22c71 100644 --- a/lib/Kconfig.debug +++ b/lib/Kconfig.debug | |||
@@ -1092,8 +1092,8 @@ config PROVE_LOCKING | |||
1092 | select DEBUG_MUTEXES | 1092 | select DEBUG_MUTEXES |
1093 | select DEBUG_RT_MUTEXES if RT_MUTEXES | 1093 | select DEBUG_RT_MUTEXES if RT_MUTEXES |
1094 | select DEBUG_LOCK_ALLOC | 1094 | select DEBUG_LOCK_ALLOC |
1095 | select LOCKDEP_CROSSRELEASE if BROKEN | 1095 | select LOCKDEP_CROSSRELEASE |
1096 | select LOCKDEP_COMPLETIONS if BROKEN | 1096 | select LOCKDEP_COMPLETIONS |
1097 | select TRACE_IRQFLAGS | 1097 | select TRACE_IRQFLAGS |
1098 | default n | 1098 | default n |
1099 | help | 1099 | help |