diff options
author | Vadim Yanitskiy <vyanitskiy@sysmocom.de> | 2022-10-04 16:59:52 +0700 |
---|---|---|
committer | Vadim Yanitskiy <vyanitskiy@sysmocom.de> | 2022-10-04 17:00:01 +0700 |
commit | 581a7ea879a449ae126ce6ae794a4409ed4eb179 (patch) | |
tree | dcb2cfb018c710cad08dc5268212ccd3b7d9ad37 /.gitreview | |
parent | 4bb6385a2231be6a9ea107cbde8df4d1af3ceee2 (diff) |
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
Diffstat (limited to '.gitreview')
0 files changed, 0 insertions, 0 deletions