diff options
| author | Paul E. McKenney <paulmck@linux.vnet.ibm.com> | 2015-01-18 18:01:21 -0800 |
|---|---|---|
| committer | Paul E. McKenney <paulmck@linux.vnet.ibm.com> | 2015-02-26 12:02:11 -0800 |
| commit | 9bae6592d7d74dbb409e0dd8004f13af8b8d569e (patch) | |
| tree | 06a5d973c460173b707b54e17c46bad2d0f7b180 /Makefile | |
| parent | 1925d1967c93a1c421271aade7953f6857e9f579 (diff) | |
| download | op-kernel-dev-9bae6592d7d74dbb409e0dd8004f13af8b8d569e.zip op-kernel-dev-9bae6592d7d74dbb409e0dd8004f13af8b8d569e.tar.gz | |
rcu: Drive PROVE_RCU directly off of PROVE_LOCKING
In the past, it has been useful to enable PROVE_LOCKING without also
enabling PROVE_RCU. However, experience with PROVE_RCU over the past
few years has demonstrated its usefulness, so this commit makes
PROVE_LOCKING directly imply PROVE_RCU.
Signed-off-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions
