diff options
-rwxr-xr-x | tests/run.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tests/run.sh b/tests/run.sh index d97a5c9c..7f95a8a4 100755 --- a/tests/run.sh +++ b/tests/run.sh @@ -31,6 +31,7 @@ DOCTOR_PROJECT=doctor #TODO: change back to `_member_` when JIRA DOCTOR-55 is done DOCTOR_ROLE=admin PROFILER_TYPE=${PROFILER_TYPE:-none} +PYTHON_ENABLE=${PYTHON_ENABLE:-false} TOP_DIR=$(cd $(dirname "$0") && pwd) @@ -457,6 +458,13 @@ cleanup() { # Main process +if $PYTHON_ENABLE; then + cd $TOP_DIR + echo "executing tox..." + tox + exit $? +fi + echo "Note: doctor/tests/run.sh has been executed." git log --oneline -1 || true # ignore even you don't have git installed |