Home
last modified time | relevance | path

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

/petsc/lib/petsc/bin/maint/
H A Dgcov.py249 def store_report(json_data, dest_path): argument
253 with dest_path.open('w') as fd:
255 return dest_path
344 def merge_reports(runner, base_paths, dest_path): argument
349 if dest_path.suffix != '.json':
350 dest_path = pathlib.Path(str(dest_path) + '.json').resolve()
353 dest_path.unlink()
369 gcov_logger.log('copying', reports[0], 'to', dest_path)
371 return shutil.copy2(reports[0], dest_path)
373 gcov_logger.log('merging reports to', dest_path)
[all …]