diff options
Diffstat (limited to 'tools/run_tests/run_python.sh')
| -rwxr-xr-x | tools/run_tests/run_python.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/run_tests/run_python.sh b/tools/run_tests/run_python.sh index 7a3ce6b821..8059059d41 100755 --- a/tools/run_tests/run_python.sh +++ b/tools/run_tests/run_python.sh @@ -55,3 +55,4 @@ fi mkdir -p $ROOT/reports rm -rf $ROOT/reports/python-coverage (mv -T $ROOT/htmlcov $ROOT/reports/python-coverage) || true + |