From a1187cf5df5f3274c410525fac3e76d401a2026c Mon Sep 17 00:00:00 2001 From: superjomn Date: Wed, 12 Jun 2019 07:55:53 +0000 Subject: [PATCH] up --- .gitlab-ci.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 33af0321aeb..553d8c80bb8 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -21,8 +21,8 @@ build:server: #paths: #- build/third_party script: - - echo "10.91.163.233 github.com" >> /etc/hosts - - git config --system http.sslVerify false + - export http_proxy=http://172.19.57.45:3128 + - export https_proxy=http://172.19.57.45:3128 - mkdir -p build - cd build - ../paddle/fluid/lite/tools/build.sh cmake_x86 -- GitLab