Harald Welte has submitted this change and it was merged.
Change subject: coverity: Don't use PARALLEL_MAKE for libsmpp34
......................................................................
coverity: Don't use PARALLEL_MAKE for libsmpp34
... which apparently doesn't support this and every so often breaks
the coverity upload build
Change-Id: Id78f80cf0878a0807cd06a24fa5c9561c7b84b36
---
M coverity/build_Osmocom.sh
1 file changed, 10 insertions(+), 1 deletion(-)
Approvals:
Harald Welte: Looks good to me, approved; Verified
diff --git a/coverity/build_Osmocom.sh b/coverity/build_Osmocom.sh
index 81a346d..9ccee28 100755
--- a/coverity/build_Osmocom.sh
+++ b/coverity/build_Osmocom.sh
@@ -64,6 +64,15 @@
popd
}
+build_libsmpp34() {
+ pushd libsmpp34
+ PM=$PARALLEL_MAKE
+ PARALLEL_MAKE=""
+ do_build
+ PARALLEL_MAKE=$PM
+ popd
+}
+
cd "$src_dir"
rm -rf "$prefix"
@@ -75,7 +84,7 @@
build_default libosmo-abis
build_default libosmo-netif
build_default libosmo-sccp
-build_default libsmpp34
+build_libsmpp34
build_default osmo-ggsn
#IU build_default osmo-iuh
build_osmopcu
--
To view, visit https://gerrit.osmocom.org/4681
To unsubscribe, visit https://gerrit.osmocom.org/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Id78f80cf0878a0807cd06a24fa5c9561c7b84b36
Gerrit-PatchSet: 1
Gerrit-Project: osmo-ci
Gerrit-Branch: master
Gerrit-Owner: Harald Welte <[email protected]>
Gerrit-Reviewer: Harald Welte <[email protected]>
