osmo-ci/coverity
Vadim Yanitskiy 581a7ea879 coverity: fix prepare_source_Osmocom.sh terminating early
Since [1] was merged this script is executed with '-xe' making it
fail immediately if a command returns a non-zero code.  grep may
return 1 if pattern is not found, so let's suspend it.

Change-Id: I21a01478b64015fd699ed31634bf2fb1dc8f6750
Fixes: [1] Icf6546271a01cd9a3dab1ce0d1bc02807d08ad85
2022-10-04 17:00:01 +07:00
..
build_Osmocom.sh {jobs,coverity}: add a new project - libosmo-gprs 2022-08-10 04:39:36 +07:00
common.sh coverity: use osmo_git_clone_url 2022-09-26 14:50:47 +02:00
get_token.sh coverity: rename iuh build to Osmocom 2016-10-01 01:58:19 +02:00
jenkins.sh jobs/coverity: don't cd ~/osmo-ci/coverity 2022-07-12 14:44:52 +02:00
local_test.sh coverity: use osmo_git_clone_url 2022-09-26 14:50:47 +02:00
prepare_source_Osmocom.sh coverity: fix prepare_source_Osmocom.sh terminating early 2022-10-04 17:00:01 +07:00