summaryrefslogtreecommitdiff
path: root/tools/testing/selftests/rcutorture/configs/rcu/TASKS01
diff options
context:
space:
mode:
Diffstat (limited to 'tools/testing/selftests/rcutorture/configs/rcu/TASKS01')
-rw-r--r--tools/testing/selftests/rcutorture/configs/rcu/TASKS014
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/testing/selftests/rcutorture/configs/rcu/TASKS01 b/tools/testing/selftests/rcutorture/configs/rcu/TASKS01
index 2cc0e60eba6e..bafe94cbd739 100644
--- a/tools/testing/selftests/rcutorture/configs/rcu/TASKS01
+++ b/tools/testing/selftests/rcutorture/configs/rcu/TASKS01
@@ -5,6 +5,6 @@ CONFIG_PREEMPT_NONE=n
CONFIG_PREEMPT_VOLUNTARY=n
CONFIG_PREEMPT=y
CONFIG_DEBUG_LOCK_ALLOC=y
-CONFIG_PROVE_LOCKING=n
-#CHECK#CONFIG_PROVE_RCU=n
+CONFIG_PROVE_LOCKING=y
+#CHECK#CONFIG_PROVE_RCU=y
CONFIG_RCU_EXPERT=y