diff --git a/run_tests.sh b/run_tests.sh index 9b080e19..2034df82 100755 --- a/run_tests.sh +++ b/run_tests.sh @@ -142,5 +142,5 @@ fi if [ $coverage -eq 1 ]; then echo "Generating coverage report in covhtml/" - coverage html -d covhtml -i + ${wrapper} coverage html -d covhtml -i fi