diff options
author | Jason Gerecke <killertofu@gmail.com> | 2018-03-12 09:53:07 -0700 |
---|---|---|
committer | Jason Gerecke <killertofu@gmail.com> | 2018-03-12 10:02:45 -0700 |
commit | 918f46fe9713d949482336dd242ec5b976a89692 (patch) | |
tree | a9b0e815224197e1b4ff179230d879b5cf617998 | |
parent | 414ee8130dd8b04512f38b7d9d29ecce3e30a86e (diff) | |
download | xf86-input-wacom-coverity-fix.tar.gz |
Fail the Coverity build if their script cannot be downloadedcoverity-fix
If curl encounters an error trying to download the Coverity build script
(as seems to be happening at the moment due to SSL issues), we will not
be notified since the pipe swallows the error code. This is not ideal, so
this commit updates the Travis build steps to use a slightly more contrived
construction which will get and then execute the script as independent steps.
Also, to ensure curl returns an error code even in less-severe cases (e.g. a
basic 404 "Not Found") we add the '-f' option.
Signed-off-by: Jason Gerecke <jason.gerecke@wacom.com>
-rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 385c012..bc3f492 100644 --- a/.travis.yml +++ b/.travis.yml @@ -38,5 +38,5 @@ before_script: script: - if [[ x"$TRAVIS_EVENT_TYPE" = "xcron" ]]; then export DO_COVERITY="YES"; fi - - if [[ x"$BUILDTYPE" = "xcoverity" && x"$DO_COVERITY" = "xYES" ]]; then curl -s "$COVERITY_URL" | bash; fi + - if [[ x"$BUILDTYPE" = "xcoverity" && x"$DO_COVERITY" = "xYES" ]]; then COVERITY_SCRIPT=$(curl -fs "$COVERITY_URL") && echo "$COVERITY_SCRIPT" | bash; fi - if [[ x"$BUILDTYPE" != "xcoverity" ]]; then make CFLAGS="$CFLAGS" && make check; fi |