| changeset 4793 | 4f6a6772628e |
| parent 4164 | 1f6ae48061a9 |
| child 4813 | e4e2c44d27cd |
| 4244:7c98934dcccd | 4793:4f6a6772628e |
|---|---|
32 'mobility', |
32 'mobility', |
33 'devices/wifi', |
33 'devices/wifi', |
34 'helper', |
34 'helper', |
35 'contrib/stats', |
35 'contrib/stats', |
36 'applications/v4ping', |
36 'applications/v4ping', |
37 'devices/l2-routing/l2-routing-main', |
|
38 'devices/l2-routing/l2-routing-hwmp', |
|
37 ) |
39 ) |
38 |
40 |
39 def set_options(opt): |
41 def set_options(opt): |
40 opt.sub_options('simulator') |
42 opt.sub_options('simulator') |
41 |
43 |