Home
last modified time | relevance | path

Searched refs:dir_path (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
391 if dir_path.exists():
392 assert dir_path.is_dir(), "Directory path {} must be a directory".format(dir_path)
393 for path in filter(delete_pred, dir_path.iterdir()):
396 dir_path.mkdir()
398 return dir_path