From de8fdab7a97b958ed5e85729114e8bb6689e05fe Mon Sep 17 00:00:00 2001 From: Bruno Oliveira Date: Sat, 21 Sep 2019 14:40:24 -0300 Subject: [PATCH] Change report-coverage.sh in attempt to fix Azure Recently sometimes Azure has failed with: ++ curl -s https://codecov.io/bash bash: /dev/fd/63: No such file or directory This attempts to fix this by modifying report-coverage.sh slightly. --- scripts/report-coverage.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/scripts/report-coverage.sh b/scripts/report-coverage.sh index 755783d2a..362dab091 100755 --- a/scripts/report-coverage.sh +++ b/scripts/report-coverage.sh @@ -13,4 +13,5 @@ fi python -m coverage combine python -m coverage xml python -m coverage report -m -bash <(curl -s https://codecov.io/bash) -Z -X gcov -X coveragepy -X search -X xcode -X gcovout -X fix -f coverage.xml +curl -S -L --retry 3 -s https://codecov.io/bash -o codecov-upload.sh +bash codecov-upload.sh -Z -X gcov -X coveragepy -X search -X xcode -X gcovout -X fix -f coverage.xml