Home
last modified time | relevance | path

Searched refs:delete_pred (Results 1 – 1 of 1) sorted by relevance

/petsc/lib/petsc/bin/maint/
H A Dgcov.py383 def create_and_clear(dir_path, delete_pred = None): argument
388 if delete_pred is None:
389 delete_pred = lambda p: p.is_file() function
393 for path in filter(delete_pred, dir_path.iterdir()):
415 dest_dir = create_and_clear(dest_dir, delete_pred = lambda p: p.suffix.endswith('html'))
448 dest_dir = create_and_clear(dest_dir, delete_pred = lambda p: p.suffix.endswith('xml'))