Fix remote coverage execution

diff --git a/python/helpers/coverage_runner/run_coverage.py b/python/helpers/coverage_runner/run_coverage.py
index 1c1f69a881c46c392af0fede8577088dd4e4b72a..b113602d95b6c9a347688c21fb51ee79a75e9586 100644 (file)
--- a/python/helpers/coverage_runner/run_coverage.py
+++ b/python/helpers/coverage_runner/run_coverage.py
@@ -24,7 +24,7 @@ if os.getenv('CREATE_TEMP_COVERAGE_FILE'):
     print(line%(coverage_file + ".coverage", new_cov_file + ".coverage"))
     print(line%(coverage_file + '.syspath.txt', new_cov_file + '.syspath.txt'))
     print(line%(coverage_file + '.xml', new_cov_file + '.xml'))
-    coverage_file = new_cov_file + ".cov"
+    coverage_file = new_cov_file
 
 if coverage_file:
     os.environ['COVERAGE_FILE'] = coverage_file + ".coverage"