Lines Matching full:parallel_files
1351 options.parallel_files = new char*[options.num_parallel_files];1362 options.parallel_files[parallel_files_set] = argv[i];1398 if (options.parallel_files != NULL) {1403 files = ReadChars(options.parallel_files[i], &size);1406 printf("File list '%s' not found\n", options.parallel_files[i]);