summaryrefslogtreecommitdiffstats
path: root/coverity
diff options
context:
space:
mode:
authorHarald Welte <laforge@gnumonks.org>2017-10-11 08:35:07 +0800
committerHarald Welte <laforge@gnumonks.org>2017-10-11 08:44:23 +0800
commit171bfc2dd70acbe87c96e11c3858bdb8562e5363 (patch)
tree2dc9095ee118a3c77b2be68327ac62b7b18c989f /coverity
parent34058b0856eb6127e4ba81e00effb904a2d808ee (diff)
coverity: Add support for $PARALLEL_MAKE environment variable
Diffstat (limited to 'coverity')
-rwxr-xr-xcoverity/build_Osmocom.sh2
1 files changed, 1 insertions, 1 deletions
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 @@ do_build() {
autoreconf --install --force
./configure --prefix="$prefix" $*
- make
+ make $PARALLEL_MAKE
make install
}