Searched refs:search_tool (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
221 if search_tool == 'rg':
230 ret = subprocess_run(search_tool,*extra_flags,'-l','CHKERR',str(start_path))
250 def main(search_tool,start_path,dry_run,verbose,force,del_empty_last_line): argument
261 found_list = get_paths_list(start_path,search_tool,force)
312 … main(args.search_tool,args.path,args.dry_run,args.verbose,args.force,args.delete_empty_last_line)
|