Lines Matching refs:tool_main
1243 // They are public for now, to allow easier setting by tool_main().2181 int tool_main(int argc, char** argv);2182 int tool_main(int argc, char** argv) {2383 return tool_main(argc, (char**) argv);
