diff options
| author | Fabien Poussin <fabien.poussin@gmail.com> | 2019-03-07 09:34:06 +0000 |
|---|---|---|
| committer | Fabien Poussin <fabien.poussin@gmail.com> | 2019-03-07 09:34:06 +0000 |
| commit | c4adeba80e96cc989091887e0baadcb609c984d5 (patch) | |
| tree | 3628a4e9286553bb9c53a8a456cde6551584ecd1 /tools | |
| parent | 559e7bd1d78c351fc45c4a930b28681699c6f0b9 (diff) | |
| download | ChibiOS-Contrib-c4adeba80e96cc989091887e0baadcb609c984d5.tar.gz ChibiOS-Contrib-c4adeba80e96cc989091887e0baadcb609c984d5.tar.bz2 ChibiOS-Contrib-c4adeba80e96cc989091887e0baadcb609c984d5.zip | |
Adding path support for ChibiOS-Contrib
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/chbuild.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/chbuild.sh b/tools/chbuild.sh index 91bc28a..94a6186 100755 --- a/tools/chbuild.sh +++ b/tools/chbuild.sh @@ -41,10 +41,10 @@ function chbuild { fi pushd $t > /dev/null printf "BUILDING: ${t}\n" - if [ -z "$CH_PATH" ]; then + if [ -z "$CH_PATH" && -z "$CHC_PATH" ]; then make --quiet -j $JOBS > /dev/null else - make CHIBIOS=$CH_PATH --quiet -j $JOBS > /dev/null + make CHIBIOS=$CH_PATH CHIBIOS_CONTRIB=$CHC_PATH --quiet -j $JOBS > /dev/null fi if [ $? -ne 0 ]; then ((NOK++)) |