diff --git a/Jenkinsfile b/Jenkinsfile index b6e08fb65b..ffcdceee2b 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${env.CPUS} -C bsp/\$RTT_BSP """ } }