Searched refs:kernel_dist_root2 (Results 1 – 1 of 1) sorted by relevance
65 string kernel_dist_root2; member142 else if (opts.kernel_dist_root2.empty()) in parse_command_line()143 opts.kernel_dist_root2 = argv[i]; in parse_command_line()426 if (!opts.kernel_dist_root2.empty()) in main()428 file_type ftype = guess_file_type(opts.kernel_dist_root2); in main()435 build_corpus_group_from_kernel_dist_under(opts.kernel_dist_root2, in main()443 print_kernel_dist_binary_paths_under(opts.kernel_dist_root2, opts); in main()447 read_corpus_group_from_native_xml_file(opts.kernel_dist_root2, in main()