Searched refs:header_include_path (Results 1 – 1 of 1) sorted by relevance
57 header_include_path=None): argument67 header.add_text('/// It is intended to be used with #include "%s"' % header_include_path)85 target_header_path = os.path.join(os.path.dirname(target_source_path), header_include_path)89 base, ext = os.path.splitext(header_include_path)116 source.add_text('/// It is intended to be used with #include "%s"' % header_include_path)119 source.add_text('#include "%s"' % header_include_path)153 header_include_path=options.header_include_path)