diff --git a/localCoverage/coverage_tools.py b/localCoverage/coverage_tools.py index e49582718b93c675d86b43e6b754e7f76fdab45b..dd5998391f1648eadcabc1734e813550ab2796d9 100644 --- a/localCoverage/coverage_tools.py +++ b/localCoverage/coverage_tools.py @@ -75,6 +75,8 @@ def remove_thrd_gcda(developer_path): if os.path.exists(remove_thrd): print("remove {}".format(remove_thrd)) shutil.rmtree(remove_thrd) + + def generate_coverage_rc(developer_path): coverage_rc_path = os.path.join( developer_path, "localCoverage/codeCoverage/coverage_rc"