diff options
Diffstat (limited to 'rcutorture/configs/rcu/CFLIST')
| -rw-r--r-- | rcutorture/configs/rcu/CFLIST | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/rcutorture/configs/rcu/CFLIST b/rcutorture/configs/rcu/CFLIST deleted file mode 100644 index cd3d29c..0000000 --- a/rcutorture/configs/rcu/CFLIST +++ /dev/null @@ -1,13 +0,0 @@ -TREE01 -TREE02 -TREE03 -TREE04 -TREE05 -TREE06 -TREE07 -TREE08 -TREE09 -SRCU-N -SRCU-P -TINY01 -TINY02 |