src/config-store/wscript
changeset 7487 82cd20da9650
parent 7438 3aeb5ac5af62
child 7512 bbdfcec0d97d
equal deleted inserted replaced
7477:4764c1472bd6 7487:82cd20da9650
    27         'model/attribute-default-iterator.cc',
    27         'model/attribute-default-iterator.cc',
    28         'model/file-config.cc',
    28         'model/file-config.cc',
    29         'model/raw-text-config.cc',
    29         'model/raw-text-config.cc',
    30         ]
    30         ]
    31 
    31 
    32     headers = bld.new_task_gen('ns3header')
    32     headers = bld.new_task_gen(features=['ns3header'])
    33     headers.module = 'config-store'
    33     headers.module = 'config-store'
    34     headers.source = [
    34     headers.source = [
    35         'model/file-config.h',
    35         'model/file-config.h',
    36         'model/config-store.h',
    36         'model/config-store.h',
    37         ]
    37         ]