Tools/docker_run.sh pick appropriate container if not set (#7297)

This commit is contained in:
Daniel Agar
2017-05-26 09:28:37 -04:00
committed by GitHub
parent 1b2c54836f
commit dde605fc4a
2 changed files with 42 additions and 14 deletions

View File

@@ -62,7 +62,7 @@ script:
elif [[ "${BUILD_TARGET}" = "px4_metadata" ]]; then
./Tools/docker_run.sh 'make px4_metadata';
elif [[ "${BUILD_TARGET}" = "clang-tidy" ]]; then
PX4_DOCKER_REPO=px4io/px4-dev-clang:2017-04-22 ./Tools/docker_run.sh 'make clang-tidy-parallel';
./Tools/docker_run.sh 'make clang-tidy-parallel';
fi
after_success: