Searched refs:dump_write (Results 1 – 1 of 1) sorted by relevance
2595 char *dump_write = NULL, *files_source = NULL; in main() local2626 dump_write = optarg; in main()2701 if (dump_write) in main()2702 write_dump(dump_write); in main()