src/internet-node/wscript
changeset 1244 9ee2a9242c10
parent 1177 c7bf3cf186ac
child 1258 33d510db1e37
--- a/src/internet-node/wscript	Wed Aug 08 11:20:09 2007 +0200
+++ b/src/internet-node/wscript	Wed Aug 08 11:20:35 2007 +0200
@@ -37,4 +37,5 @@
         'ascii-trace.h',
         'pcap-trace.h',
         'ipv4-header.h',
+        'udp-header.h',
         ]