equal
deleted
inserted
replaced
719 for ns3headers in self.bld.all_task_gen: |
719 for ns3headers in self.bld.all_task_gen: |
720 if 'ns3header' in getattr(ns3headers, "features", []): |
720 if 'ns3header' in getattr(ns3headers, "features", []): |
721 if ns3headers.module != self.module: |
721 if ns3headers.module != self.module: |
722 continue |
722 continue |
723 found_the_module = True |
723 found_the_module = True |
724 for source in ns3headers.headers: |
724 for source in sorted(ns3headers.headers): |
725 source = os.path.basename(source) |
725 source = os.path.basename(source) |
726 node = ns3_dir_node.find_or_declare(os.path.basename(source)) |
726 node = ns3_dir_node.find_or_declare(os.path.basename(source)) |
727 if node is None: |
727 if node is None: |
728 fatal("missing header file %s" % (source,)) |
728 fatal("missing header file %s" % (source,)) |
729 all_headers_inputs.append(node) |
729 all_headers_inputs.append(node) |