diff options
Diffstat (limited to 'dev')
| -rwxr-xr-x | dev/ci/ci-sf.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/dev/ci/ci-sf.sh b/dev/ci/ci-sf.sh index dcb3eb8f67..2b1d2298f2 100755 --- a/dev/ci/ci-sf.sh +++ b/dev/ci/ci-sf.sh @@ -12,9 +12,9 @@ sf_lf_CI_TARURL=$(echo "$data" | jq -rc '.[] | select (.path == "lf.tgz") | .ur sf_plf_CI_TARURL=$(echo "$data" | jq -rc '.[] | select (.path == "plf.tgz") | .url') sf_vfa_CI_TARURL=$(echo "$data" | jq -rc '.[] | select (.path == "vfa.tgz") | .url') -wget -O - "${sf_lf_CI_TARURL}" | tar xvz -wget -O - "${sf_plf_CI_TARURL}" | tar xvz -wget -O - "${sf_vfa_CI_TARURL}" | tar xvz +wget -O - "${sf_lf_CI_TARURL}?circle-token=${CIRCLE_SF_TOKEN}" | tar xvz +wget -O - "${sf_plf_CI_TARURL}?circle-token=${CIRCLE_SF_TOKEN}" | tar xvz +wget -O - "${sf_vfa_CI_TARURL}?circle-token=${CIRCLE_SF_TOKEN}" | tar xvz ( cd lf && make clean && make ) ( cd plf && make clean && make ) |