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