---

yaml --- r: 100665 b: refs/heads/master c: 992860e h: refs/heads/master i: 100663: a00332a v: v3
git-mirror · Jul 14, 2008 · bc0dd6b · bc0dd6b
1 parent 83f0970
commit bc0dd6b
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/[refs] b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: b4ba0ba24b57ec975482f4ba2d350fbee7557240
+refs/heads/master: 992860e991f2015fb8c8df65aa32afa0dcbb4430
diff --git a/trunk/kernel/lockdep.c b/trunk/kernel/lockdep.c
@@ -2688,7 +2688,8 @@ __lock_release(struct lockdep_map *lock, int nested, unsigned long ip)
  */
 static void check_flags(unsigned long flags)
 {
-#if defined(CONFIG_DEBUG_LOCKDEP) && defined(CONFIG_TRACE_IRQFLAGS)
+#if defined(CONFIG_PROVE_LOCKING) && defined(CONFIG_DEBUG_LOCKDEP) && \
+    defined(CONFIG_TRACE_IRQFLAGS)
 	if (!debug_locks)
 		return;