Ensure failed build terminates AppVeyor run

The mingw32 build log is post-processed for AppVeyor, but this was done without setting -o pipefail.
2019-03-05 17:49:28 +00:00 · 2019-03-05 17:49:28 +00:00 · 1befa5bb3e
parent 7cb0da58f1
commit 1befa5bb3e
1 changed files with 1 additions and 0 deletions
--- a/tools/ci/appveyor/appveyor_build.sh
+++ b/tools/ci/appveyor/appveyor_build.sh
@ -129,6 +129,7 @@ case "$1" in
    export TERM=ansi

    if [ "$PORT" = "mingw32" ] ; then
+      set -o pipefail
      # For an explanation of the sed command, see
      # https://github.com/appveyor/ci/issues/1824
      script --quiet --return --command \