From 559e7bd1d78c351fc45c4a930b28681699c6f0b9 Mon Sep 17 00:00:00 2001
From: Fabien Poussin <fabien.poussin@gmail.com>
Date: Thu, 7 Mar 2019 09:24:58 +0000
Subject: Adding ChibiOS path override feature to chbuild.sh

---
 tools/chbuild.sh | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'tools')

diff --git a/tools/chbuild.sh b/tools/chbuild.sh
index 6323dcb..91bc28a 100755
--- a/tools/chbuild.sh
+++ b/tools/chbuild.sh
@@ -11,7 +11,6 @@ JOBS=$(grep -c ^processor /proc/cpuinfo)
 SKIP_ARRAY=(Win32)
 RETCODE=0
 
-
 function test_skip {
     Array=$1
     SKIP=0
@@ -42,7 +41,11 @@ function chbuild {
     fi
     pushd $t > /dev/null
     printf "BUILDING: ${t}\n"
-    make --quiet -j $JOBS > /dev/null
+    if [ -z "$CH_PATH" ]; then
+        make --quiet -j $JOBS > /dev/null
+    else
+        make CHIBIOS=$CH_PATH --quiet -j $JOBS > /dev/null
+    fi
     if [ $? -ne 0 ]; then
       ((NOK++))
       FAIL+=($t)
-- 
cgit v1.2.3