2017-03-29 04:47:43 -05:00
|
|
|
#!/bin/false
|
2017-02-25 02:00:47 -06:00
|
|
|
# Copyright 2016 The Rust Project Developers. See the COPYRIGHT
|
|
|
|
# file at the top-level directory of this distribution and at
|
|
|
|
# http://rust-lang.org/COPYRIGHT.
|
|
|
|
#
|
|
|
|
# Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
|
|
|
|
# http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
|
|
|
|
# <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
|
|
|
|
# option. This file may not be copied, modified, or distributed
|
|
|
|
# except according to those terms.
|
|
|
|
|
2017-03-29 04:47:43 -05:00
|
|
|
# This file is intended to be sourced with `. shared.sh` or
|
|
|
|
# `source shared.sh`, hence the invalid shebang and not being
|
|
|
|
# marked as an executable file in git.
|
|
|
|
|
2017-02-25 02:00:47 -06:00
|
|
|
# See http://unix.stackexchange.com/questions/82598
|
|
|
|
function retry {
|
2017-03-29 04:47:43 -05:00
|
|
|
echo "Attempting with retry:" "$@"
|
2017-02-25 02:00:47 -06:00
|
|
|
local n=1
|
|
|
|
local max=5
|
|
|
|
while true; do
|
|
|
|
"$@" && break || {
|
|
|
|
if [[ $n -lt $max ]]; then
|
|
|
|
((n++))
|
|
|
|
echo "Command failed. Attempt $n/$max:"
|
|
|
|
else
|
|
|
|
echo "The command has failed after $n attempts."
|
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
}
|
|
|
|
done
|
|
|
|
}
|
2017-05-17 11:33:20 -05:00
|
|
|
|
|
|
|
if ! declare -F travis_fold; then
|
|
|
|
if [ "${TRAVIS-false}" = 'true' ]; then
|
|
|
|
# This is a trimmed down copy of
|
|
|
|
# https://github.com/travis-ci/travis-build/blob/master/lib/travis/build/templates/header.sh
|
|
|
|
travis_fold() {
|
|
|
|
echo -en "travis_fold:$1:$2\r\033[0K"
|
|
|
|
}
|
|
|
|
travis_time_start() {
|
|
|
|
travis_timer_id=$(printf %08x $(( RANDOM * RANDOM )))
|
|
|
|
travis_start_time=$(travis_nanoseconds)
|
|
|
|
echo -en "travis_time:start:$travis_timer_id\r\033[0K"
|
|
|
|
}
|
|
|
|
travis_time_finish() {
|
|
|
|
travis_end_time=$(travis_nanoseconds)
|
|
|
|
local duration=$(($travis_end_time-$travis_start_time))
|
|
|
|
local msg="travis_time:end:$travis_timer_id"
|
|
|
|
echo -en "\n$msg:start=$travis_start_time,finish=$travis_end_time,duration=$duration\r\033[0K"
|
|
|
|
}
|
|
|
|
if [ $(uname) = 'Darwin' ]; then
|
|
|
|
travis_nanoseconds() {
|
|
|
|
date -u '+%s000000000'
|
|
|
|
}
|
|
|
|
else
|
|
|
|
travis_nanoseconds() {
|
|
|
|
date -u '+%s%N'
|
|
|
|
}
|
|
|
|
fi
|
|
|
|
else
|
|
|
|
travis_fold() { return 0; }
|
|
|
|
travis_time_start() { return 0; }
|
|
|
|
travis_time_finish() { return 0; }
|
|
|
|
fi
|
|
|
|
fi
|