Searched refs:infoFile (Results 1 – 1 of 1) sorted by relevance
54 std::string infoFile; variable104 infoFile = std::string(inFile.begin(), inFile.end() - 3) + ".bcinfo"; in parseOption()107 infoFile = inFile + ".bcinfo"; in parseOption()123 FILE *info = fopen(infoFile.c_str(), "w"); in dumpInfo()125 fprintf(stderr, "Could not open info file %s\n", infoFile.c_str()); in dumpInfo()