Home
last modified time | relevance | path

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

/petsc/lib/petsc/bin/maint/
H A Dgcov.py400 def generate_html(runner, merged_report, dest_dir, symlink_dir=None, report_name=None, html_title=N… argument
434 if symlink_dir is not None:
435 assert symlink_dir.exists()
436 symlink_name = symlink_dir/report_path.name
441 symlink_name.symlink_to(report_path.relative_to(symlink_dir))
596 symlink_dir=gcovr_dir, report_name='report_untested.html',
599 generate_html(runner, merged_report, gcovr_dir/'html', symlink_dir=gcovr_dir)