diff options
Diffstat (limited to 'coverage-command.patch')
-rw-r--r-- | coverage-command.patch | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/coverage-command.patch b/coverage-command.patch new file mode 100644 index 000000000000..b6fd27a1cbf7 --- /dev/null +++ b/coverage-command.patch @@ -0,0 +1,16 @@ +diff --git a/t/run_coverage b/t/run_coverage +index 6f4d9a2..f72cdd5 100755 +--- a/t/run_coverage ++++ b/t/run_coverage +@@ -24,8 +24,8 @@ export PRETEND_UNICODE_ARGS=1 + ls t939*.sh | xargs -n 1 bash + + cd $tmpdir +-python3-coverage combine +-python3-coverage html -d $orig_dir/report +-python3-coverage report -m ++coverage3 combine ++coverage3 html -d $orig_dir/report ++coverage3 report -m + cd $orig_dir + rm -rf $tmpdir |