]> git.ipfire.org Git - thirdparty/tor.git/commitdiff
Handle errors from coveralls more gracefully.
authorAlexander Færøy <ahf@torproject.org>
Wed, 20 Mar 2019 14:44:06 +0000 (15:44 +0100)
committerAlexander Færøy <ahf@torproject.org>
Wed, 20 Mar 2019 14:44:06 +0000 (15:44 +0100)
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

.travis.yml

index 5319bbb896841c4c6f880f78a7d4dbeaaf4be2fb..336b67d2997d7bea192534aa935754610882585d 100644 (file)
@@ -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.