2021-06-25 01:45:51 +02:00
|
|
|
DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" > /dev/null 2>&1 && pwd)"
|
2021-05-03 15:03:26 +02:00
|
|
|
. "$DIR/prelude.sh"
|
|
|
|
|
|
|
|
cd src
|
|
|
|
|
|
|
|
set -o errexit
|
|
|
|
set -o verbose
|
|
|
|
|
2024-08-08 23:41:15 +02:00
|
|
|
for i in {1..5}; do
|
2024-10-17 19:11:09 +02:00
|
|
|
git clone https://x-access-token:${github_token}@github.com/10gen/jstestfuzz.git && RET=0 && break || RET=$? && sleep 5
|
|
|
|
echo "Failed to clone github.com:10gen/jstestfuzz.git, retrying..."
|
2024-08-08 23:41:15 +02:00
|
|
|
done
|
|
|
|
|
|
|
|
if [ $RET -ne 0 ]; then
|
|
|
|
echo "Failed to clone git@github.com:10gen/jstestfuzz.git"
|
|
|
|
exit $RET
|
|
|
|
fi
|