Searched refs:use_stdin (Results 1 – 1 of 1) sorted by relevance
39 int use_stdin = 0; in main() local65 use_stdin = 1; in main()72 FILE* handle = use_stdin ? stdin : fopen(dump_file, "r"); in main()