diff options
| -rw-r--r-- | .circleci/config.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index 975d1c7a..6c5f3e85 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -14,6 +14,7 @@ defaults: command: | mkdir -p build cd build + [ -n "$COVERAGE" -a "$CIRCLE_BRANCH" != release -a -z "$CIRCLE_TAG" ] && CMAKE_OPTIONS="$CMAKE_OPTIONS -DCOVERAGE=ON" cmake .. -DCMAKE_BUILD_TYPE=RelWithDebInfo $CMAKE_OPTIONS make -j4 - run_tests: &run_tests @@ -122,7 +123,7 @@ jobs: - image: buildpack-deps:artful environment: TERM: xterm - CMAKE_OPTIONS: -DCOVERAGE=ON + COVERAGE: "ON" steps: - checkout - run: |