diff options
| author | Fabien Poussin <fabien.poussin@gmail.com> | 2019-03-07 09:38:10 +0000 |
|---|---|---|
| committer | Fabien Poussin <fabien.poussin@gmail.com> | 2019-03-07 09:38:26 +0000 |
| commit | 22c27bd977fa6f31e9f6401876cb0cbd066387b1 (patch) | |
| tree | 8088be35c5dec4791e9151b7d32dabdbabcf2dd5 /tools | |
| parent | 6509e836ebddfde3652586481b245834ea4d2a87 (diff) | |
| download | ChibiOS-Contrib-22c27bd977fa6f31e9f6401876cb0cbd066387b1.tar.gz ChibiOS-Contrib-22c27bd977fa6f31e9f6401876cb0cbd066387b1.tar.bz2 ChibiOS-Contrib-22c27bd977fa6f31e9f6401876cb0cbd066387b1.zip | |
Script typo
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/chbuild.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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 |