diff options
author | Vadim Yanitskiy <vyanitskiy@sysmocom.de> | 2022-08-28 17:24:20 +0700 |
---|---|---|
committer | Vadim Yanitskiy <vyanitskiy@sysmocom.de> | 2022-08-29 22:36:12 +0700 |
commit | d08cc74519c1d24726afa8dbea031165f53e204c (patch) | |
tree | e3045cccee2309094586107d27d5638b8bd418bb | |
parent | 70aa4abefb376986ea2f25aa20dfa677abd099ef (diff) |
contrib/jenkins.sh: actually build with $PARALLEL_MAKE
Parallel build has been fixed [1] and re-enabled [2] back in 2018.
Executing $MAKE without $PARALLEL_MAKE builds the project with -j1.
Executing $MAKE with $PARALLEL_MAKE after that makes no sense,
because everything is already compiled and there is nothing to do.
Change-Id: Iff7e7acfac0b827ce3b1086cea376a438b5af334
Related: [1] I5a9d7dbd7b992d322ed0d852ebf8ca2252b51a12
Related: [2] Id41fbcb5a96093eb6c3dc00bcacbd379111ada70
-rwxr-xr-x | contrib/jenkins.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index 3b4e639..7a75e25 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -7,7 +7,6 @@ osmo-clean-workspace.sh autoreconf --install --force ./configure --enable-sanitize --enable-werror -$MAKE $MAKE $PARALLEL_MAKE $MAKE distcheck || cat-testlogs.sh $MAKE maintainer-clean |