From c6b2b4c392f645605496a3aef966965c08a5892b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Francesco=20Borz=C3=AC?= <borzifrancesco@gmail.com>
Date: Thu, 3 Sep 2020 12:47:04 +0200
Subject: [PATCH] chore(CI): solve (#3322)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Co-authored-by: Stefano Borzì <stefanoborzi32@gmail.com>
---
 apps/ci/ci-install.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/apps/ci/ci-install.sh b/apps/ci/ci-install.sh
index f16b37db2..bd77d1ef6 100755
--- a/apps/ci/ci-install.sh
+++ b/apps/ci/ci-install.sh
@@ -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