From 1debdf05d152262113e10ef380a6dadf54782f21 Mon Sep 17 00:00:00 2001
From: "Justin M. Forbes" <jforbes@fedoraproject.org>
Date: Wed, 6 Jun 2018 14:01:43 -0500
Subject: Linux v4.17

---
 configs/fedora/debug/CONFIG_PROVE_LOCKING | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 configs/fedora/debug/CONFIG_PROVE_LOCKING

(limited to 'configs/fedora/debug/CONFIG_PROVE_LOCKING')

diff --git a/configs/fedora/debug/CONFIG_PROVE_LOCKING b/configs/fedora/debug/CONFIG_PROVE_LOCKING
new file mode 100644
index 000000000..36980566b
--- /dev/null
+++ b/configs/fedora/debug/CONFIG_PROVE_LOCKING
@@ -0,0 +1 @@
+CONFIG_PROVE_LOCKING=y
-- 
cgit