osmith has submitted this change. ( 
https://gerrit.osmocom.org/c/osmo-ci/+/39389?usp=email )

Change subject: coverity: use proper asn1c branch
......................................................................

coverity: use proper asn1c branch

Change-Id: I556b0cc038121b9405556f316d71c0fc75f7d177
---
M coverity/prepare_source_Osmocom.sh
1 file changed, 13 insertions(+), 1 deletion(-)

Approvals:
  Jenkins Builder: Verified
  pespin: Looks good to me, but someone else must approve
  fixeria: Looks good to me, approved




diff --git a/coverity/prepare_source_Osmocom.sh 
b/coverity/prepare_source_Osmocom.sh
index d7ac90b..78f6691 100755
--- a/coverity/prepare_source_Osmocom.sh
+++ b/coverity/prepare_source_Osmocom.sh
@@ -60,15 +60,27 @@
 cd $BASEDIR

 for proj in $PROJECTS $PROJECTS_DONT_BUILD_TEST; do
+       case "$proj" in
+       asn1c)
+               # For asn1c, we use the osmo-iuh/master branch:
+               # 
https://osmocom.org/projects/osmohnbgw/wiki/Generate_sources_from_ASN1_files
+               branch="osmo-iuh/master"
+               ;;
+       *)
+               branch="master"
+               ;;
+       esac
+
        if [ -d $proj ]; then
                if [ -z "$SRC_SKIP_FETCH" ]; then
-                       (cd $proj && git fetch && git checkout -f -B master 
origin/master && git submodule update --recursive --remote)
+                       (cd $proj && git fetch && git checkout -f -B "$branch" 
origin/"$branch" && git submodule update --recursive --remote)
                fi
                if [ -n "$SRC_CLEAN" ]; then
                        git -C "$proj" clean -ffxd
                fi
        else
                git clone --recursive "$(osmo_git_clone_url "$proj")"
+               git -C "$proj" checkout origin/"$branch"
        fi
 done


--
To view, visit https://gerrit.osmocom.org/c/osmo-ci/+/39389?usp=email
To unsubscribe, or for help writing mail filters, visit 
https://gerrit.osmocom.org/settings?usp=email

Gerrit-MessageType: merged
Gerrit-Project: osmo-ci
Gerrit-Branch: master
Gerrit-Change-Id: I556b0cc038121b9405556f316d71c0fc75f7d177
Gerrit-Change-Number: 39389
Gerrit-PatchSet: 3
Gerrit-Owner: osmith <[email protected]>
Gerrit-Reviewer: Jenkins Builder
Gerrit-Reviewer: fixeria <[email protected]>
Gerrit-Reviewer: osmith <[email protected]>
Gerrit-Reviewer: pespin <[email protected]>

Reply via email to