Searched refs:write_state_filename (Results 1 – 5 of 5) sorted by relevance
408 extern const char *write_state_filename; /* (-w) program argument. */
64 const char *write_state_filename; variable5066 write_state_filename = optarg; in parse_program_options()5288 if (write_state_filename) in main()5294 write_state_filename); in main()5296 DBGPRINTF ("before write_state %s", write_state_filename); in main()5297 write_state (write_state_filename); in main()
419 extern const char *write_state_filename; /* (-w) program argument. */
64 const char *write_state_filename; variable5117 write_state_filename = optarg; in parse_program_options()5350 if (write_state_filename) in main()5356 write_state_filename); in main()5358 DBGPRINTF ("before write_state %s", write_state_filename); in main()5359 write_state (write_state_filename); in main()
9930 (do_debug, read_state_filename, write_state_filename): New variables.