Searched refs:DumpFile (Results 1 – 1 of 1) sorted by relevance
122 void DumpFile(const char *filename) { in DumpFile() function197 DumpFile(argv[i]); in main()