diff options
author | Carlos O'Ryan <coryan@users.noreply.github.com> | 2019-10-17T18·47-0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-10-17T18·47-0400 |
commit | 449df1fd379fecc3f6ec05cc5650651d694e3a53 (patch) | |
tree | 264de973bb6a6cfb83cd5cb3e5c3a6d5d9fb7ccd /ci/kokoro/docker/build-in-docker-cmake.sh | |
parent | b6c30c0eee8a8e0a5971ee87f428febe8d256d05 (diff) |
ci: add configs for a CMake+Ninja build (#27)
Diffstat (limited to 'ci/kokoro/docker/build-in-docker-cmake.sh')
-rwxr-xr-x | ci/kokoro/docker/build-in-docker-cmake.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/ci/kokoro/docker/build-in-docker-cmake.sh b/ci/kokoro/docker/build-in-docker-cmake.sh index 38e0d3d7885b..4dd9e7eb3dff 100755 --- a/ci/kokoro/docker/build-in-docker-cmake.sh +++ b/ci/kokoro/docker/build-in-docker-cmake.sh @@ -58,6 +58,10 @@ if [[ "${CODE_COVERAGE:-}" == "yes" ]]; then "-DCMAKE_BUILD_TYPE=Coverage") fi +if [[ "${USE_NINJA:-}" == "yes" ]]; then + cmake_flags+=( "-GNinja" ) +fi + # Avoid unbound variable error with older bash if [[ "${#cmake_flags[@]}" == 0 ]]; then cmake "-H${SOURCE_DIR}" "-B${BINARY_DIR}" |