diff options
| author | Alexander Færøy <ahf@torproject.org> | 2019-03-20 15:44:06 +0100 |
|---|---|---|
| committer | Alexander Færøy <ahf@torproject.org> | 2019-03-20 15:44:06 +0100 |
| commit | fbb1c7adfcfbda2f7ed6877beb137c382ecb6b50 (patch) | |
| tree | c6bd2416451ad0deb19fdc8bd5e4e0ee092073c5 | |
| parent | 0267c453e2e0d474f742efa1da3ce698ea4af97d (diff) | |
| download | tor-fbb1c7adfcfbda2f7ed6877beb137c382ecb6b50.tar.gz tor-fbb1c7adfcfbda2f7ed6877beb137c382ecb6b50.zip | |
Handle errors from coveralls more gracefully.
Since we have moved coveralls to the script target the entire build will
now fail if coveralls fail. We handle it more gracefully by echo'ing the
failure instead of doing a hard-failure.
See: https://bugs.torproject.org/29036
| -rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 5319bbb896..336b67d299 100644 --- a/.travis.yml +++ b/.travis.yml @@ -156,7 +156,7 @@ script: - if [[ "$DISTCHECK" == "" ]]; then make check; fi - if [[ "$DISTCHECK" != "" ]]; then make distcheck DISTCHECK_CONFIGURE_FLAGS="$CONFIGURE_FLAGS"; fi ## If this build was one that produced coverage, upload it. - - if [[ "$COVERAGE_OPTIONS" != "" ]]; then coveralls -b . --exclude src/test --exclude src/trunnel --gcov-options '\-p'; fi + - if [[ "$COVERAGE_OPTIONS" != "" ]]; then coveralls -b . --exclude src/test --exclude src/trunnel --gcov-options '\-p' || echo "Coverage failed"; fi after_failure: ## configure will leave a log file with more details of config failures. |