!38 【更新】Jenkinsfile 并行构建

Merge pull request !38 from 国际哥/jenkins_build
2020-07-16 11:23:49 +08:00 · 2020-07-16 11:23:49 +08:00 · 69258cd912
parent fed16349f9 6fb2ab2f06
commit 69258cd912
1 changed files with 2 additions and 1 deletions
--- a/3
+++ b/3
@ -127,7 +127,8 @@ pipeline {

                        echo \$RTT_EXEC_PATH

-                        scons -C bsp/\$RTT_BSP
+                        export CPUS=\$(cat /proc/cpuinfo | grep "processor" | sort | uniq | wc -l)
+                        scons -j\${CPUS} -C bsp/\$RTT_BSP
                        """
                    }
                }