src/wscript
changeset 5703 9cf2221d92ec
parent 5537 9cd454241cb3
parent 4750 7dd4ad5ac045
child 5707 d4bcda8a76ed
--- a/src/wscript	Wed Sep 09 12:19:22 2009 +0400
+++ b/src/wscript	Wed Sep 09 12:33:16 2009 +0400
@@ -37,6 +37,8 @@
     'helper',
     'contrib/stats',
     'applications/v4ping',
+    'applications/ping6',
+    'applications/radvd',
     )
 
 def set_options(opt):
@@ -213,19 +215,22 @@
         ## get all of the ns3 headers
         ns3_dir_node = self.bld.path.find_dir("ns3")
         all_headers_inputs = []
+        found_the_module = False
         for ns3headers in self.bld.all_task_gen:
             if isinstance(ns3headers, ns3header_taskgen):
                 if ns3headers.module != self.module:
                     continue
+                found_the_module = True
                 for source in ns3headers.to_list(ns3headers.source):
                     source = os.path.basename(source)
                     node = ns3_dir_node.find_or_declare(os.path.basename(source))
                     if node is None:
                         fatal("missing header file %s" % (source,))
                     all_headers_inputs.append(node)
-        if not all_headers_inputs:
+        if not found_the_module:
             raise Utils.WscriptError("error finding headers for module %s" % self.module)
-        assert all_headers_inputs
+        if not all_headers_inputs:
+            return
         module_obj = self.bld.name_to_obj("ns3-" + self.module, self.env)
         assert module_obj is not None
         all_headers_outputs = [ns3_dir_node.find_or_declare("%s-module.h" % self.module)]