src/internet-stack/wscript
changeset 5681 795c049199c5
parent 5677 81bd758dd7f4
child 5702 6a4ee9687bc9
--- a/src/internet-stack/wscript	Tue Aug 18 12:02:20 2009 +0400
+++ b/src/internet-stack/wscript	Tue Aug 18 15:07:25 2009 +0400
@@ -108,6 +108,11 @@
         'tcp-header.h',
         'sequence-number.h',
         'icmpv4.h',
+        # used by routing
+        'ipv4-interface.h', 
+        'ipv4-l3-protocol.h',
+        'arp-cache.h',
+        'sgi-hashmap.h',
         ]
 
     if bld.env['NSC_ENABLED']: