diff --git a/.github/scripts/install-platformio.sh b/.github/scripts/install-platformio.sh index 0b8296ff3..c2cc311e9 100644 --- a/.github/scripts/install-platformio.sh +++ b/.github/scripts/install-platformio.sh @@ -21,7 +21,7 @@ function build_pio_sketch(){ # build_pio_sketch local sketch_dir=$(dirname "$sketch") echo "" echo "Compiling '"$(basename "$sketch")"' ..." - python -m platformio ci --board "$board" "$sketch_dir" --project-option="$options" --project-options="framework=arduino" + python -m platformio ci --board "$board" "$sketch_dir" --project-option="$options" --project-option="framework=arduino" } function count_sketches(){ # count_sketches