diff options
| author | Fabien Poussin <fabien.poussin@gmail.com> | 2019-03-07 09:24:58 +0000 |
|---|---|---|
| committer | Fabien Poussin <fabien.poussin@gmail.com> | 2019-03-07 09:24:58 +0000 |
| commit | 559e7bd1d78c351fc45c4a930b28681699c6f0b9 (patch) | |
| tree | 82a4d4512b2d7a353fb005fe17dbaea11bb84eaa /tools | |
| parent | 34701463fcc4d7a0a5a226f9a464de8077cf8744 (diff) | |
| download | ChibiOS-Contrib-559e7bd1d78c351fc45c4a930b28681699c6f0b9.tar.gz ChibiOS-Contrib-559e7bd1d78c351fc45c4a930b28681699c6f0b9.tar.bz2 ChibiOS-Contrib-559e7bd1d78c351fc45c4a930b28681699c6f0b9.zip | |
Adding ChibiOS path override feature to chbuild.sh
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/chbuild.sh | 7 |
1 files changed, 5 insertions, 2 deletions
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) |