Migrate to codecov.io (#2120)

* Migrate to codecov.io

* Fix data race

* Update nginx to 1.13.9
This commit is contained in:
Manuel Alejandro de Brito Fontes 2018-02-20 08:27:02 -08:00 committed by GitHub
parent 9dd5b0b023
commit 0990c5b6ad
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
7 changed files with 32 additions and 14 deletions

View file

@ -19,7 +19,7 @@ set -o errexit
set -o nounset
set -o pipefail
export NGINX_VERSION=1.13.8
export NGINX_VERSION=1.13.9
export NDK_VERSION=0.3.0
export VTS_VERSION=0.1.15
export SETMISC_VERSION=0.31
@ -110,7 +110,7 @@ mkdir --verbose -p "$BUILD_PATH"
cd "$BUILD_PATH"
# download, verify and extract the source files
get_src 8410b6c31ff59a763abf7e5a5316e7629f5a5033c95a3a0ebde727f9ec8464c5 \
get_src 5faea18857516fe68d30be39c3032bd22ed9cf85e1a6fdf32e3721d96ff7fa42 \
"http://nginx.org/download/nginx-$NGINX_VERSION.tar.gz"
get_src 88e05a99a8a7419066f5ae75966fb1efc409bad4522d14986da074554ae61619 \