diff options
author | Max <msuraev@sysmocom.de> | 2017-09-25 10:20:52 +0200 |
---|---|---|
committer | Max <msuraev@sysmocom.de> | 2017-10-02 08:37:40 +0000 |
commit | 8e9fe0808072d3f5eca8b4c6fac9865a52c9beb3 (patch) | |
tree | e6780b81ea96c5a58dbdeaa257a4f08391ac29b2 /coverity/build_Osmocom.sh | |
parent | 6c401be0957e47f58789bfbd9397813410f5fa4f (diff) |
Use new GPRS repositories
* use coverity check on osmo-ggsn instead of openggsn
* move osmo-sgsn and osmo-ggsn from nightly-split into nightly
Change-Id: Ia49969cbfb9ef57b635a3b5759f411f71a54f8e1
Diffstat (limited to 'coverity/build_Osmocom.sh')
-rwxr-xr-x | coverity/build_Osmocom.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/coverity/build_Osmocom.sh b/coverity/build_Osmocom.sh index 58a74f2..bccd7ea 100755 --- a/coverity/build_Osmocom.sh +++ b/coverity/build_Osmocom.sh @@ -69,8 +69,8 @@ build_libosmosccp() { popd } -build_openggsn() { - pushd openggsn +build_osmoggsn() { + pushd osmo-ggsn do_build popd } @@ -155,7 +155,7 @@ build_libosmoabis build_libosmonetif build_libosmosccp build_libsmpp34 -build_openggsn +build_osmoggsn #IU build_osmoiuh build_osmopcu build_osmobts |