Searched refs:write_pch_file (Results 1 – 1 of 1) sorted by relevance
3840 int write_pch_file(const char *filename, int argc, const char *argv[]) { in write_pch_file() function4230 return write_pch_file(argv[2], argc - 3, argv + 3); in cindextest_main()