diff options
| author |  Jan Tattermusch <jtattermusch@google.com> | 2016-10-04 11:52:32 +0200 |
|---|---|---|
| committer | Jan Tattermusch <jtattermusch@google.com> | 2016-10-04 14:12:43 +0200 |
| commit | 6bc086102e4b681672070ecff9cc0b769604b6a8 (patch) | |
| tree | e0e03f066810a7ea77255a2e8d3ac8d40b3694b2 | |
| parent | 08ce4b92c231496102d768c18f6ae94403fb6878 (diff) | |
fixes for run_tests_in_workspace.sh
| -rwxr-xr-x | tools/run_tests/run_tests_in_workspace.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/run_tests/run_tests_in_workspace.sh b/tools/run_tests/run_tests_in_workspace.sh index b0c9ad05f7..98ef3566db 100755 --- a/tools/run_tests/run_tests_in_workspace.sh +++ b/tools/run_tests/run_tests_in_workspace.sh @@ -42,5 +42,5 @@ rm -rf "${WORKSPACE_NAME}" git clone --recursive . "${WORKSPACE_NAME}" echo "Running run_tests.py in workspace ${WORKSPACE_NAME}" -"${WORKSPACE_NAME}/tools/run_tests/run_tests.py" $@ +python "${WORKSPACE_NAME}/tools/run_tests/run_tests.py" $@ |