Searched refs:type_file_string (Results 1 – 3 of 3) sorted by relevance
73 char *type_file_string = "krb5-types.h"; variable87 { "type-file", 0, arg_string, &type_file_string, NULL, NULL },
103 extern char *type_file_string;
279 type_file_string); in init_generate()384 type_file_string); in generate_header_of_codefile()