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 )79 target_header_path = os.path.join( os.path.dirname(target_source_path), header_include_path )83 base, ext = os.path.splitext( header_include_path )108 source.add_text( "/// It is intented to be used with #include <%s>" % header_include_path )111 source.add_text( "#include <%s>" % header_include_path )142 header_include_path=options.header_include_path )