Searched refs:user_output_filename (Results 1 – 1 of 1) sorted by relevance
70 static char *user_output_filename = (char *)NULL; variable214 if (user_output_filename) in main()215 free (user_output_filename); in main()216 user_output_filename = xstrdup (optarg); in main()283 if ((!isatty (fileno (stdout))) && (user_output_filename == (char *)NULL)) in main()285 user_output_filename = xstrdup ("-"); in main()384 else if (user_output_filename) in main()386 (user_filename, user_nodenames, user_output_filename, dump_subnodes); in main()422 if (user_output_filename && !goto_invocation_p) in main()425 dump_node_to_file (initial_node, user_output_filename, in main()[all …]