From 22c27bd977fa6f31e9f6401876cb0cbd066387b1 Mon Sep 17 00:00:00 2001
From: Fabien Poussin <fabien.poussin@gmail.com>
Date: Thu, 7 Mar 2019 09:38:10 +0000
Subject: Script typo

---
 tools/chbuild.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools')

diff --git a/tools/chbuild.sh b/tools/chbuild.sh
index 94a6186..0340114 100755
--- a/tools/chbuild.sh
+++ b/tools/chbuild.sh
@@ -41,7 +41,7 @@ function chbuild {
     fi
     pushd $t > /dev/null
     printf "BUILDING: ${t}\n"
-    if [ -z "$CH_PATH" && -z "$CHC_PATH" ]; then
+    if [[ -z "$CH_PATH" && -z "$CHC_PATH" ]]; then
         make --quiet -j $JOBS > /dev/null
     else
         make CHIBIOS=$CH_PATH CHIBIOS_CONTRIB=$CHC_PATH --quiet -j $JOBS > /dev/null
-- 
cgit v1.2.3