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