Merge pull request #5529 from ethereum/noCoverageOnRelease

Disable coverage generation for release branch.
This commit is contained in:
chriseth 2018-11-30 16:31:28 +01:00 committed by GitHub
commit 1bbd5977cf
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -14,6 +14,7 @@ defaults:
command: | command: |
mkdir -p build mkdir -p build
cd 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 cmake .. -DCMAKE_BUILD_TYPE=RelWithDebInfo $CMAKE_OPTIONS
make -j4 make -j4
- run_tests: &run_tests - run_tests: &run_tests
@ -122,7 +123,7 @@ jobs:
- image: buildpack-deps:artful - image: buildpack-deps:artful
environment: environment:
TERM: xterm TERM: xterm
CMAKE_OPTIONS: -DCOVERAGE=ON COVERAGE: "ON"
steps: steps:
- checkout - checkout
- run: - run: