diff --git a/.github/scripts/install-arduino-ide.sh b/.github/scripts/install-arduino-ide.sh index acf4695..7950a49 100755 --- a/.github/scripts/install-arduino-ide.sh +++ b/.github/scripts/install-arduino-ide.sh @@ -110,9 +110,13 @@ function build_sketch(){ # build_sketch [extra-options] function count_sketches() # count_sketches { local examples="$1" + rm -rf sketches.txt + if [ ! -d "$examples" ]; then + touch sketches.txt + return 0 + fi local sketches=$(find $examples -name *.ino) local sketchnum=0 - rm -rf sketches.txt for sketch in $sketches; do local sketchdir=$(dirname $sketch) local sketchdirname=$(basename $sketchdir) diff --git a/.github/scripts/install-platformio.sh b/.github/scripts/install-platformio.sh index eb22a74..61c94fe 100644 --- a/.github/scripts/install-platformio.sh +++ b/.github/scripts/install-platformio.sh @@ -27,10 +27,14 @@ function build_pio_sketch(){ # build_pio_sketch function count_sketches() # count_sketches { - local examples="$1" + local examples="$1" + rm -rf sketches.txt + if [ ! -d "$examples" ]; then + touch sketches.txt + return 0 + fi local sketches=$(find $examples -name *.ino) local sketchnum=0 - rm -rf sketches.txt for sketch in $sketches; do local sketchdir=$(dirname $sketch) local sketchdirname=$(basename $sketchdir)