| changeset 4064 | 10222f483860 |
| parent 3041 | a624276a897b |
| child 4502 | 07d34c0d8d18 |
| child 4907 | 7595791c4666 |
| 4031:d26a4018a9ef | 4064:10222f483860 |
|---|---|
16 'tag.cc', |
16 'tag.cc', |
17 'tag-list.cc', |
17 'tag-list.cc', |
18 'tag-buffer.cc', |
18 'tag-buffer.cc', |
19 ] |
19 ] |
20 |
20 |
21 headers = bld.create_obj('ns3header') |
21 headers = bld.new_task_gen('ns3header') |
22 headers.module = 'common' |
22 headers.module = 'common' |
23 headers.source = [ |
23 headers.source = [ |
24 'buffer.h', |
24 'buffer.h', |
25 'chunk.h', |
25 'chunk.h', |
26 'header.h', |
26 'header.h', |