diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/ci.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/tools/ci.sh b/tools/ci.sh index 98e78dc78..b9bfb7eef 100755 --- a/tools/ci.sh +++ b/tools/ci.sh @@ -204,10 +204,10 @@ function ci_nrf_build { ports/nrf/drivers/bluetooth/download_ble_stack.sh s140_nrf52_6_1_1 make ${MAKEOPTS} -C mpy-cross make ${MAKEOPTS} -C ports/nrf submodules - make ${MAKEOPTS} -C ports/nrf BOARD=pca10040 - make ${MAKEOPTS} -C ports/nrf BOARD=microbit - make ${MAKEOPTS} -C ports/nrf BOARD=pca10056 SD=s140 - make ${MAKEOPTS} -C ports/nrf BOARD=pca10090 + make ${MAKEOPTS} -C ports/nrf BOARD=PCA10040 + make ${MAKEOPTS} -C ports/nrf BOARD=MICROBIT + make ${MAKEOPTS} -C ports/nrf BOARD=PCA10056 SD=s140 + make ${MAKEOPTS} -C ports/nrf BOARD=PCA10090 } ######################################################################################## |