diff options
| author | Harald Welte <laforge@osmocom.org> | 2020-02-24 20:26:33 +0100 |
|---|---|---|
| committer | Harald Welte <laforge@osmocom.org> | 2020-02-26 14:45:30 +0100 |
| commit | 79df6f2b65a293ae25c24aa7f024a586965641e7 (patch) | |
| tree | 7b3fa8e3c700d5de4d7a538ec64315515caf8fdf | |
| parent | 4ddf61697a25a9f9d44101440d49b0aa6c023d90 (diff) | |
osmocom-nightly-packages: Allow non-osmocom git URL in checkout()
Change-Id: Ib768ff2822df5875820e4f12390004ed18614144
| -rwxr-xr-x | scripts/osmocom-nightly-packages.sh | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/scripts/osmocom-nightly-packages.sh b/scripts/osmocom-nightly-packages.sh index 6094db2..49aaaf2 100755 --- a/scripts/osmocom-nightly-packages.sh +++ b/scripts/osmocom-nightly-packages.sh @@ -63,14 +63,19 @@ get_commit_version() { ### common checkout() { local name=$1 - local branch=$2 + local url=$2 + local branch=$3 + + if [ -z "$url" ]; then + url="$(osmo_git_clone_url "$name")" + fi cd "$REPO" if [ -n "$branch" ] ; then - osmo_git_clone_date "$(osmo_git_clone_url "$name")" -b "$branch" + osmo_git_clone_date "$url" -b "$branch" else - osmo_git_clone_date "$(osmo_git_clone_url "$name")" + osmo_git_clone_date "$url" fi cd - |