Home
last modified time | relevance | path

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

/petsc/lib/petsc/bin/maint/
H A Dgcov.py182 def sanitize_path(path): function
359 reports_path = sanitize_path(reports_path)
498 petsc_dir = sanitize_path(petsc_dir)
500 petsc_arch_dir = sanitize_path(petsc_dir/petsc_arch)
501 base_path = list(map(sanitize_path, base_path))
728 args.petsc_dir = sanitize_path(args.petsc_dir)