Searched refs:filter_file (Results 1 – 2 of 2) sorted by relevance
| /petsc/lib/petsc/bin/ |
| H A D | petscdiff | 65 filter_file() { function
87 filter_file "${2}" "${filter_cmd}"
102 filter_file "${2}" "${filter_cmd}"
120 filter_file "${file2}" "${filter_cmd}"
125 filter_file "${file1}" "${filter_output_cmd}"
|
| /petsc/share/petsc/ |
| H A D | chkerrconvert.py | 241 … filter_file = lambda x: x.endswith(('.c','.cpp','.cxx','.h','.hpp','.C','.H','.inl','.c++','.cu')) function
242 found_list = [x.resolve() for x in map(pathlib.Path,filter(filter_file,map(str,file_list)))]
|