diff options
| author | Vladimir Benes <vbenes@redhat.com> | 2017-02-24 21:40:36 +0100 |
|---|---|---|
| committer | Beniamino Galvani <bgalvani@redhat.com> | 2017-02-24 21:56:34 +0100 |
| commit | abba3102fb57d2cf555c1bb8eba55f400e7caf4c (patch) | |
| tree | 1a6cdb22104a2c852929b5e754c3fcd2f029effc | |
| parent | e6dd90625b22f041070915170dc9c1c74f698f76 (diff) | |
| download | NetworkManager-abba3102fb57d2cf555c1bb8eba55f400e7caf4c.tar.gz | |
build-from-source: git clone two times via different ways
| -rwxr-xr-x | contrib/rh-bkr/build-from-source.sh | 7 |
1 files changed, 6 insertions, 1 deletions
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" |