Searched refs:dump_file (Results 1 – 1 of 1) sorted by relevance
37 const char* dump_file = NULL; in main() local48 dump_file = argv[n]; in main()64 if (dump_file == NULL) { in main()72 FILE* handle = use_stdin ? stdin : fopen(dump_file, "r"); in main()84 dump_file, strerror(errno)); in main()