Searched refs:InputFileNamesDeprecatedOpt (Results 1 – 1 of 1) sorted by relevance
72 InputFileNamesDeprecatedOpt("inputs", cl::CommaSeparated, variable1403 InputFileNamesDeprecatedOpt.getNumOccurrences() != 0) { in main()1408 if (InputFileNamesDeprecatedOpt.size()) { in main()1412 s.insert(s.end(), InputFileNamesDeprecatedOpt.begin(), in main()1413 InputFileNamesDeprecatedOpt.end()); in main()