diff options
author | Harald Welte <laforge@gnumonks.org> | 2017-10-11 08:35:07 +0800 |
---|---|---|
committer | Harald Welte <laforge@gnumonks.org> | 2017-10-11 08:44:23 +0800 |
commit | 171bfc2dd70acbe87c96e11c3858bdb8562e5363 (patch) | |
tree | 2dc9095ee118a3c77b2be68327ac62b7b18c989f /coverity/build_Osmocom.sh | |
parent | 34058b0856eb6127e4ba81e00effb904a2d808ee (diff) |
coverity: Add support for $PARALLEL_MAKE environment variable
Change-Id: I95b0e5f104155ac7c5ae993b7f3c0c0721d0157b
Diffstat (limited to 'coverity/build_Osmocom.sh')
-rwxr-xr-x | coverity/build_Osmocom.sh | 2 |
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 } |