diff options
Diffstat (limited to 'fw/nucleo.sh')
| -rwxr-xr-x | fw/nucleo.sh | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/fw/nucleo.sh b/fw/nucleo.sh index 8bff4a0..24966b1 100755 --- a/fw/nucleo.sh +++ b/fw/nucleo.sh @@ -28,12 +28,19 @@ FLASH_ADDRESS='0x8000000' BOARD='nucleo_f767zi' BAUDRATE='115200' SERIAL_PORT='/dev/ttyACM0' +CONFIG_OVERLAY="${FW}/my.conf" +overlay_config='' +if test -f "$CONFIG_OVERLAY" +then + overlay_config="-DEXTRA_CONF_FILE="${CONFIG_OVERLAY}"" +fi + set -x rm -rf "$BUILD" -cmake "-B${BUILD}" -GNinja -DBOARD="$BOARD" +cmake "-B${BUILD}" -GNinja -DBOARD="$BOARD" "$overlay_config" ninja -C "$BUILD" st-flash --connect-under-reset write "$FIRMWARE" "$FLASH_ADDRESS" picocom -b "$BAUDRATE" "$SERIAL_PORT" |