| commit | d08cc74519c1d24726afa8dbea031165f53e204c | [log] [tgz] |
|---|---|---|
| author | Vadim Yanitskiy <vyanitskiy@sysmocom.de> | Sun Aug 28 17:24:20 2022 +0700 |
| committer | Vadim Yanitskiy <vyanitskiy@sysmocom.de> | Mon Aug 29 22:36:12 2022 +0700 |
| 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
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 @@ autoreconf --install --force ./configure --enable-sanitize --enable-werror -$MAKE $MAKE $PARALLEL_MAKE $MAKE distcheck || cat-testlogs.sh $MAKE maintainer-clean