Searched refs:filenames (Results 1 – 2 of 2) sorted by relevance
63 vector<string> filenames; in main() local148 filenames = vm["input-file"].as<vector<string>>(); in main()171 for ( auto& filename: filenames ) { in main()205 for ( const auto& filename: filenames ) { in main()263 if ( load_session || ( filenames.empty() && !new_session && config->loadLastSession() ) ) in main()269 for ( const auto& filename: filenames ) { in main()