diff --git a/tools/coverage/report.sh b/tools/coverage/report.sh index fe4c5aecd17db3a4743ce22b7cec491275f7e76e..5140fbdfc881a6f15e245f3df67dbcafbf850e66 100755 --- a/tools/coverage/report.sh +++ b/tools/coverage/report.sh @@ -47,7 +47,7 @@ VERSION=$(grep -o 'VERSION=\"[0-9\.]*\"' codecov | cut -d'"' -f2) for i in 1 256 512 do shasum -a $i -c --ignore-missing <(curl -s "https://raw.githubusercontent.com/codecov/codecov-bash/${VERSION}/SHA${i}SUM") || - shasum -a $i -c <(curl -s "https://raw.githubusercontent.com/codecov/codecov-bash/${VERSION}/SHA${i}SUM") + shasum -a $i -c <(curl -s "https://raw.githubusercontent.com/codecov/codecov-bash/${VERSION}/SHA${i}SUM") || exit 0 done bash codecov -X fix -f /tmp/report-*.xml || true