From abba3102fb57d2cf555c1bb8eba55f400e7caf4c Mon Sep 17 00:00:00 2001 From: Vladimir Benes Date: Fri, 24 Feb 2017 21:40:36 +0100 Subject: build-from-source: git clone two times via different ways --- contrib/rh-bkr/build-from-source.sh | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/contrib/rh-bkr/build-from-source.sh b/contrib/rh-bkr/build-from-source.sh index 72db57c733..1ac2609177 100755 --- a/contrib/rh-bkr/build-from-source.sh +++ b/contrib/rh-bkr/build-from-source.sh @@ -6,6 +6,7 @@ set -xv BUILD_DIR="${BUILD_DIR:-/tmp/nm-build}" BUILD_ID="${BUILD_ID:-master}" BUILD_REPO="${BUILD_REPO-https://github.com/NetworkManager/NetworkManager.git}" +BUILD_REPO2="${BUILD_REPO2-git://github.com/NetworkManager/NetworkManager.git}" ARCH="${ARCH:-`arch`}" WITH_DEBUG="$WITH_DEBUG" DO_TEST_BUILD="${DO_TEST_BUILD:-yes}" @@ -64,7 +65,11 @@ mkdir -p "$BUILD_DIR" cd "$BUILD_DIR" rm -rf "./NetworkManager" -git clone "$BUILD_REPO" + +if ! timeout 10m git clone "$BUILD_REPO"; then + git clone "$BUILD_REPO2" +fi + cd "./NetworkManager/" git checkout "$BUILD_ID" -- cgit v1.2.1