diff options
Diffstat (limited to 'rcutorture/configs/rcu/SRCU-P.boot')
| -rw-r--r-- | rcutorture/configs/rcu/SRCU-P.boot | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/rcutorture/configs/rcu/SRCU-P.boot b/rcutorture/configs/rcu/SRCU-P.boot deleted file mode 100644 index 238bfe3..0000000 --- a/rcutorture/configs/rcu/SRCU-P.boot +++ /dev/null @@ -1 +0,0 @@ -rcutorture.torture_type=srcu |