src/wscript
changeset 3826 40c5841b616d
parent 3581 048d80fcffde
child 3827 4b603cd4ee42
equal deleted inserted replaced
3817:4ed410f69d36 3826:40c5841b616d
    17     'contrib',
    17     'contrib',
    18     'node',
    18     'node',
    19     'internet-stack',
    19     'internet-stack',
    20     'devices/point-to-point',
    20     'devices/point-to-point',
    21     'devices/csma',
    21     'devices/csma',
       
    22     'devices/bridge',
       
    23     'devices/emutap',
    22     'applications/onoff',
    24     'applications/onoff',
    23     'applications/packet-sink',
    25     'applications/packet-sink',
    24     'applications/udp-echo',
    26     'applications/udp-echo',
    25     'routing/olsr',
    27     'routing/olsr',
    26     'routing/global-routing',
    28     'routing/global-routing',
    27     'mobility',
    29     'mobility',
    28     'devices/wifi',
    30     'devices/wifi',
    29     'helper',
    31     'helper',
    30     'devices/bridge',
       
    31     'contrib/stats',
    32     'contrib/stats',
    32     )
    33     )
    33 
    34 
    34 def set_options(opt):
    35 def set_options(opt):
    35     opt.sub_options('simulator')
    36     opt.sub_options('simulator')