Searched refs:start_path (Results 1 – 1 of 1) sorted by relevance
| /petsc/share/petsc/ |
| H A D | chkerrconvert.py | 219 def get_paths_list(start_path,search_tool,force): argument
220 if start_path.is_dir():
228 file_list = glob.iglob(str(start_path/'**'),recursive=True)
230 ret = subprocess_run(search_tool,*extra_flags,'-l','CHKERR',str(start_path))
245 found_list = [start_path]
250 def main(search_tool,start_path,dry_run,verbose,force,del_empty_last_line): argument
251 if start_path == '${PETSC_DIR}/src':
255 …ss = 'Must either define PETSC_DIR as environment variable or pass it via flags to use '+start_path
257 start_path = path_resolve_strict(petsc_dir)/'src'
258 start_path = path_resolve_strict(start_path)
[all …]
|