Searched refs:header_name (Results 1 – 1 of 1) sorted by relevance
147 const char* header_name = header_argv[i]; in main() local148 if (header_name[0] != '<' && header_name[0] != '"') in main()150 fprintf( CSourceFilep, "#include <%s>\n", header_name); in main()154 fprintf( CSourceFilep, "#include %s\n", header_name); in main()