Searched refs:user_output_filename (Results 1 – 2 of 2) sorted by relevance
72 static char *user_output_filename = (char *)NULL; variable216 if (user_output_filename) in main()217 free (user_output_filename); in main()218 user_output_filename = xstrdup (optarg); in main()285 if ((!isatty (fileno (stdout))) && (user_output_filename == (char *)NULL)) in main()287 user_output_filename = xstrdup ("-"); in main()386 else if (user_output_filename) in main()388 (user_filename, user_nodenames, user_output_filename, dump_subnodes); in main()424 if (user_output_filename && !goto_invocation_p) in main()427 dump_node_to_file (initial_node, user_output_filename, in main()[all …]
8536 no output filename has been specified, make user_output_filename