diff options
author | Vadim Yanitskiy <vyanitskiy@sysmocom.de> | 2022-07-03 19:36:06 +0700 |
---|---|---|
committer | Vadim Yanitskiy <vyanitskiy@sysmocom.de> | 2022-07-04 14:38:45 +0700 |
commit | 618f171cb1173e6e665a282b611f938c9c337925 (patch) | |
tree | 65c073f8107e8230ccd6eb0da6122fb6ce502438 /coverity/prepare_source_Osmocom.sh | |
parent | 9baa805a74bef25004ca8f5ef961b80489067e3e (diff) |
Revert "coverity/build_Osmocom.sh: run 'make check' in do_build()"
This reverts commit bf84ba9f69a0a2125bfd4327519b0e6fa212d664.
Change-Id: I722f8cbb1934a4f5ce2969e243f223019f123777
Diffstat (limited to 'coverity/prepare_source_Osmocom.sh')
0 files changed, 0 insertions, 0 deletions