diff options
author | Vadim Yanitskiy <vyanitskiy@sysmocom.de> | 2022-08-10 04:24:30 +0700 |
---|---|---|
committer | Vadim Yanitskiy <vyanitskiy@sysmocom.de> | 2022-08-10 04:39:36 +0700 |
commit | ac0b663951366eae4e9dc089ef845c5d1631f976 (patch) | |
tree | 895191f601b723bae03fc1bd307d0c258263039e /coverity/build_Osmocom.sh | |
parent | 9f36fd75a4f920293a7af5b4ecba8bae709ae5f8 (diff) |
{jobs,coverity}: add a new project - libosmo-gprs
Change-Id: I83e86084e9f7a7431bf5a70c372da1f9ccd28436
Diffstat (limited to 'coverity/build_Osmocom.sh')
-rwxr-xr-x | coverity/build_Osmocom.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/coverity/build_Osmocom.sh b/coverity/build_Osmocom.sh index 4291558..da2244a 100755 --- a/coverity/build_Osmocom.sh +++ b/coverity/build_Osmocom.sh @@ -74,6 +74,7 @@ build_default libosmocore build_libasn1c build_libusrp build_default libosmo-abis +build_default libosmo-gprs build_default libosmo-netif build_default libosmo-pfcp build_default libosmo-sccp |