[MERGED] osmo-ci[master]: coverity: Don't use PARALLEL_MAKE for libsmpp34

[Harald Welte]

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 <laforge at gnumonks.org>
Gerrit-Reviewer: Harald Welte <laforge at gnumonks.org>