diff options
author | Paul E. McKenney <paulmck@linux.vnet.ibm.com> | 2017-05-26 17:31:45 -0700 |
---|---|---|
committer | Paul E. McKenney <paulmck@linux.vnet.ibm.com> | 2017-07-24 16:04:09 -0700 |
commit | c7e224eec484e8e11cb119079bb82aa3a9b3506b (patch) | |
tree | 7c95751789b639e28b1944e7e187f633247a58bb /tools/testing/selftests/rcutorture/configs/rcu/SRCU-u | |
parent | rcu: Remove CONFIG_TASKS_RCU ifdef from rcuperf.c (diff) | |
download | linux-dev-c7e224eec484e8e11cb119079bb82aa3a9b3506b.tar.xz linux-dev-c7e224eec484e8e11cb119079bb82aa3a9b3506b.zip |
rcutorture: Select CONFIG_PROVE_LOCKING for Tiny SRCU scenario
This commit selects CONFIG_PROVE_LOCKING for the SRCU-u scenario
to get better test coverage.
Signed-off-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
Diffstat (limited to '')
-rw-r--r-- | tools/testing/selftests/rcutorture/configs/rcu/SRCU-u | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/testing/selftests/rcutorture/configs/rcu/SRCU-u b/tools/testing/selftests/rcutorture/configs/rcu/SRCU-u index 6bc24e99862f..c15ada821e45 100644 --- a/tools/testing/selftests/rcutorture/configs/rcu/SRCU-u +++ b/tools/testing/selftests/rcutorture/configs/rcu/SRCU-u @@ -4,6 +4,7 @@ CONFIG_PREEMPT_VOLUNTARY=n CONFIG_PREEMPT=n #CHECK#CONFIG_TINY_SRCU=y CONFIG_RCU_TRACE=n -CONFIG_DEBUG_LOCK_ALLOC=n +CONFIG_DEBUG_LOCK_ALLOC=y +CONFIG_PROVE_LOCKING=y CONFIG_DEBUG_OBJECTS_RCU_HEAD=n CONFIG_PREEMPT_COUNT=n |