diff options
author | Wu Xiaotian <[email protected]> | 2019-03-07 15:31:39 +0800 |
---|---|---|
committer | raveit65 <[email protected]> | 2019-03-10 15:18:21 +0100 |
commit | 63f7860434049264df49129b56211b2e00100d13 (patch) | |
tree | 0d172b5421503c5c32860fd370823877c8cb3b81 | |
parent | 99439e0207c318df0ba4095b7e65ff69accfff63 (diff) | |
download | marco-63f7860434049264df49129b56211b2e00100d13.tar.bz2 marco-63f7860434049264df49129b56211b2e00100d13.tar.xz |
[ci] If possible, compile with make -jN
-rw-r--r-- | .travis.yml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 3b66e0e5..939cf8c0 100644 --- a/.travis.yml +++ b/.travis.yml @@ -180,7 +180,11 @@ variables: build_scripts: - ./autogen.sh - scan-build $CHECKERS ./configure - - scan-build $CHECKERS --keep-cc -o html-report make + - if [ $CPU_COUNT -gt 1 ]; then + - scan-build $CHECKERS --keep-cc -o html-report make -j $CPU_COUNT + - else + - scan-build $CHECKERS --keep-cc -o html-report make + - fi after_scripts: - if [ ${DISTRO_NAME} == "fedora" ];then |