Searched refs:flag_file (Results 1 – 1 of 1) sorted by relevance
173 std::ifstream flag_file(flag_file_name); in ReadFromFlagfile() local175 if (!flag_file) { in ReadFromFlagfile()189 while (std::getline(flag_file, line)) { in ReadFromFlagfile()