From 09eb2a38f4a8d8785357d7c8aed6229e739eaf41 Mon Sep 17 00:00:00 2001
From: Justin M. Forbes <jforbes@redhat.com>
Date: Jan 24 2013 14:36:38 +0000
Subject: Linux v3.8-rc4-183-gff7532c


---

diff --git a/config-nodebug b/config-nodebug
index 541a0e9..c39df4b 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
diff --git a/kernel.spec b/kernel.spec
index 8e21b96..9e6b3d6 100644
--- a/kernel.spec
+++ b/kernel.spec
@@ -95,7 +95,7 @@ Summary: The Linux kernel
 # The rc snapshot level
 %define rcrev 4
 # The git snapshot level
-%define gitrev 3
+%define gitrev 4
 # Set rpm version accordingly
 %define rpmversion 3.%{upstream_sublevel}.0
 %endif
@@ -2312,6 +2312,10 @@ fi
 #                 ||----w |
 #                 ||     ||
 %changelog
+* Thu Jan 24 2013 Justin M. Forbes <jforbes@redhat.com> - 3.8.0-0.rc4.git4.1
+- Linux v3.8-rc4-183-gff7532c
+- Enable lockdep
+
 * Wed Jan 23 2013 Justin M. Forbes <jforbes@redhat.com> - 3.8.0-0.rc4.git3.1
 - Linux v3.8-rc4-139-g1d85490
 - Enable debug spinlocks
diff --git a/sources b/sources
index 9084458..198e535 100644
--- a/sources
+++ b/sources
@@ -1,3 +1,3 @@
 21223369d682bcf44bcdfe1521095983  linux-3.7.tar.xz
 68f3bd39cd3274dab38d16d420419ac1  patch-3.8-rc4.xz
-2eb9afa2cd922672cacc1b433a40eac7  patch-3.8-rc4-git3.xz
+89901a35732facbc4651569fefb023ff  patch-3.8-rc4-git4.xz