Searched refs:base_path (Results 1 – 1 of 1) sorted by relevance
| /petsc/lib/petsc/bin/maint/ |
| H A D | gcov.py | 497 def do_main(petsc_dir, petsc_arch, merge_branch, base_path, formats, verbosity, ci_mode): argument
501 base_path = list(map(sanitize_path, base_path))
502 if base_path[-1] != petsc_arch_dir:
503 base_path.append(petsc_arch_dir)
523 merged_report = merge_reports(runner, base_path, gcovr_dir/'merged-gcovr-report.json')
730 if args.base_path is None:
731 args.base_path = [args.petsc_dir]
734 args.base_path.extend(list(args.petsc_dir.glob('arch-*')))
743 args.petsc_dir, args.petsc_arch, args.merge_branch, args.base_path, formats,
|