build fixes

Author: me-no-dev

.github/scripts/install-arduino-ide.sh

@@ -110,9 +110,13 @@ function build_sketch(){ # build_sketch <fqbn> <path-to-ino> [extra-options]
 function count_sketches() # count_sketches <examples-path>
 {
 	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)

.github/scripts/install-platformio.sh

@@ -27,10 +27,14 @@ function build_pio_sketch(){ # build_pio_sketch <board> <path-to-ino>
 
 function count_sketches() # count_sketches <examples-path>
 {
-	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)

.github/scripts/on-push.sh

@@ -32,7 +32,7 @@ if [ "$BUILD_PIO" -eq 0 ]; then
 
 	FQBN="esp8266com:esp8266:generic:eesz=4M1M,ip=lm2f"
 	build_sketches "$FQBN" "$GITHUB_WORKSPACE/examples"
-	if [ -x "$OS_IS_WINDOWS" ]; then
+	if [ ! "$OS_IS_WINDOWS" == "1" ]; then
 		echo "Installing ESPAsyncWebServer ..."
 		git clone https://github.com/me-no-dev/ESPAsyncWebServer "$ARDUINO_USR_PATH/libraries/ESPAsyncWebServer" > /dev/null 2>&1