Searched refs:ControlFile (Results 1 – 1 of 1) sorted by relevance
415 std::ofstream ControlFile(CFPath); in WriteNewControlFile() local416 ControlFile << FilesToUse.size() << "\n"; in WriteNewControlFile()417 ControlFile << FilesToUseFromOldCorpus << "\n"; in WriteNewControlFile()419 ControlFile << FN << "\n"; in WriteNewControlFile()421 if (!ControlFile) { in WriteNewControlFile()