diff --git a/Jenkinsfile b/Jenkinsfile index b6e08fb65b0ff5d84bc63bce79244d8a692e2b0c..a106793bbb40b075b8695c26bf03786ef99561cf 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -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 """ } }