mirror of https://github.com/docker/docs.git
23 lines
702 B
Bash
Executable File
23 lines
702 B
Bash
Executable File
#!/bin/bash
|
|
|
|
# Try several times to do the build (sometimes network or other issues causes
|
|
# it to fail)
|
|
for i in $(seq 0 4); do
|
|
echo "Trying build $i..."
|
|
make clean
|
|
make
|
|
if [[ $? -eq 0 ]]; then
|
|
cp dist/* $CIRCLE_ARTIFACTS
|
|
|
|
if [ ! -z "$CIRCLE_TAG" ]; then
|
|
curl --header "Content-Type: application/json" \
|
|
--data "{\"build_parameters\": {\"CIRCLE_TAG\": \"$CIRCLE_TAG\", \"TOOLBOX_BUILD_NUM\": $CIRCLE_BUILD_NUM, \"TOOLBOX_ARTIFACTS\": \"$CIRCLE_ARTIFACTS\"}}" \
|
|
--request POST "https://circleci.com/api/v1/project/docker/toolbox-release/tree/master?circle-token=$CIRCLE_TOKEN"
|
|
fi
|
|
|
|
exit 0
|
|
fi
|
|
done
|
|
|
|
exit 1
|