chore(CI): solve (#3322)

Co-authored-by: Stefano Borzì <stefanoborzi32@gmail.com>
2020-09-03 12:47:04 +02:00
parent 5244b8d7ad
commit c6b2b4c392
1 changed files with 1 additions and 1 deletions
@@ -3,7 +3,7 @@
 set -e
 cat >>conf/config.sh <<CONFIG_SH
-MTHREADS=$(expr $(grep -c ^processor /proc/cpuinfo) + 2)
+MTHREADS=$(($(grep -c ^processor /proc/cpuinfo) + 2))
 CWARNINGS=ON
 CDEBUG=OFF
 CTYPE=Release