fdo-mirrors/NetworkManager
1
0
Fork 0
mirror of https://gitlab.freedesktop.org/NetworkManager/NetworkManager.git synced 2025-12-31 18:20:10 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

build-from-source: git clone two times via different ways

Browse source
This commit is contained in:
Vladimir Benes 2017-02-24 21:40:36 +01:00 • committed by Beniamino Galvani
parent e6dd90625b
commit abba3102fb
1 changed files with 6 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
contrib/rh-bkr/build-from-source.sh
View file

@ -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"