Searched refs:merge_branch (Results 1 – 1 of 1) sorted by relevance
| /petsc/lib/petsc/bin/maint/ |
| H A D | gcov.py | 257 def get_branch_diff(merge_branch): argument
267 merge_branch_name = str(merge_branch)
497 def do_main(petsc_dir, petsc_arch, merge_branch, base_path, formats, verbosity, ci_mode): argument
525 files_changed_by_branch = get_branch_diff(merge_branch)
736 if not args.merge_branch:
737 args.merge_branch = subprocess_check_output(
743 args.petsc_dir, args.petsc_arch, args.merge_branch, args.base_path, formats,
|