diff options
author | Justin chi <chigang@huawei.com> | 2017-01-24 08:50:35 +0000 |
---|---|---|
committer | Gerrit Code Review <gerrit@opnfv.org> | 2017-01-24 08:50:35 +0000 |
commit | d001a27936a5d55cda2d8ca0849f30a8bd1c0b3d (patch) | |
tree | a4a87d67dbb248d3ea2034adfe04dea79378df7f /build.sh | |
parent | e5d3ebef36c73a8bcbad3d0236bdb663809033ea (diff) | |
parent | 6f279a7362504418cfcc453e11b3a9c2d458a2ea (diff) |
Merge "Adjust make repo"
Diffstat (limited to 'build.sh')
-rwxr-xr-x | build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -64,7 +64,7 @@ function download_git() function download_url() { rm -f $CACHE_DIR/$1.md5 - curl --connect-timeout 10 -o $CACHE_DIR/$1.md5 $2.md5 2>/dev/null + curl --connect-timeout 10 -o $CACHE_DIR/$1.md5 $2.md5 2>/dev/null || true if [[ -f $CACHE_DIR/$1 ]]; then local_md5=`md5sum $CACHE_DIR/$1 | cut -d ' ' -f 1` repo_md5=`cat $CACHE_DIR/$1.md5 | cut -d ' ' -f 1` |