src/internet-node/wscript
changeset 1244 9ee2a9242c10
parent 1177 c7bf3cf186ac
child 1258 33d510db1e37
equal deleted inserted replaced
1243:c1d23e1b5891 1244:9ee2a9242c10
    35     headers.source = [
    35     headers.source = [
    36         'internet-node.h',
    36         'internet-node.h',
    37         'ascii-trace.h',
    37         'ascii-trace.h',
    38         'pcap-trace.h',
    38         'pcap-trace.h',
    39         'ipv4-header.h',
    39         'ipv4-header.h',
       
    40         'udp-header.h',
    40         ]
    41         ]