Searched refs:dump_write (Results 1 – 1 of 1) sorted by relevance
2251 char *dump_write = NULL, *files_source = NULL; in main() local2276 dump_write = optarg; in main()2356 if (dump_write) in main()2357 write_dump(dump_write); in main()
Completed in 7 milliseconds