diff --git a/bin/kaleidoscope-builder b/bin/kaleidoscope-builder index b5a79f55..8bf5344c 100755 --- a/bin/kaleidoscope-builder +++ b/bin/kaleidoscope-builder @@ -59,6 +59,7 @@ install_arduino_core() { run_arduino_cli() { + echo "${ARDUINO_CLI}" "$@" ARDUINO_DIRECTORIES_USER=${ARDUINO_DIRECTORIES_USER} \ ARDUINO_DIRECTORIES_DATA=${ARDUINO_DIRECTORIES_DATA} \ ARDUINO_DIRECTORIES_DOWNLOADS=${ARDUINO_DIRECTORIES_DOWNLOADS} \