[MERGED] osmo-ci[master]: coverity: Add support for $PARALLEL_MAKE environment variable

This is merely a historical archive of years 2008-2021, before the migration to mailman3.

A maintained and still updated list archive can be found at https://lists.osmocom.org/hyperkitty/list/gerrit-log@lists.osmocom.org/.

Harald Welte gerrit-no-reply at lists.osmocom.org
Wed Oct 11 01:39:15 UTC 2017


Harald Welte has submitted this change and it was merged.

Change subject: coverity: Add support for $PARALLEL_MAKE environment variable
......................................................................


coverity: Add support for $PARALLEL_MAKE environment variable

Change-Id: I95b0e5f104155ac7c5ae993b7f3c0c0721d0157b
---
M coverity/build_Osmocom.sh
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Harald Welte: Looks good to me, approved; Verified



diff --git a/coverity/build_Osmocom.sh b/coverity/build_Osmocom.sh
index 910f810..1a4b5a5 100755
--- a/coverity/build_Osmocom.sh
+++ b/coverity/build_Osmocom.sh
@@ -18,7 +18,7 @@
 	autoreconf --install --force
 	./configure --prefix="$prefix" $*
 
-	make
+	make $PARALLEL_MAKE
 	make install
 }
 

-- 
To view, visit https://gerrit.osmocom.org/4208
To unsubscribe, visit https://gerrit.osmocom.org/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I95b0e5f104155ac7c5ae993b7f3c0c0721d0157b
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>



More information about the gerrit-log mailing list