Searched refs:input_prefix (Results 1 – 1 of 1) sorted by relevance
67 const char *input_prefix = NULL; in main() local217 input_prefix = "<stdin>"; in main()228 input_prefix = av[optind]; in main()235 input_prefix = av[optind]; in main()236 jf = jopen_prefix(input_prefix, 0); in main()241 input_prefix, strerror(errno)); in main()332 fork_subprocess(jf, jscan_do_mirror, input_prefix, in main()417 const char *input_prefix, const char *transid_file, const char *info, in fork_subprocess() argument427 jf = jopen_prefix(input_prefix, 0); in fork_subprocess()