Searched refs:header_include_path (Results 1 – 1 of 1) sorted by relevance
52 header_include_path=None ): argument62 header.add_text( '/// It is intented to be used with #include <%s>' % header_include_path )77 target_header_path = os.path.join( os.path.dirname(target_source_path), header_include_path )81 base, ext = os.path.splitext( header_include_path )106 source.add_text( '/// It is intented to be used with #include <%s>' % header_include_path )109 source.add_text( '#include <%s>' % header_include_path )140 header_include_path=options.header_include_path )