diff --git a/.github/scripts/install-arduino-ide.sh b/.github/scripts/install-arduino-ide.sh old mode 100644 new mode 100755 index 1a5e3d46a53b703d879da736624ae31e99465adf..1ee02bf73c2eae0de019f3b84020437f11351f60 --- a/.github/scripts/install-arduino-ide.sh +++ b/.github/scripts/install-arduino-ide.sh @@ -12,7 +12,7 @@ if [[ "$OSTYPE" == "linux"* ]]; then OS_NAME="linux32" elif [[ "$OSBITS" == "x86_64" ]]; then OS_NAME="linux64" - elif [[ "$OSBITS" == "armv7l" ]]; then + elif [[ "$OSBITS" == "armv7l" || "$OSBITS" == "aarch64" ]]; then OS_NAME="linuxarm" else OS_NAME="$OSTYPE-$OSBITS" @@ -214,4 +214,3 @@ function build_sketches() # build_sketches 0: + if 'Linux' in sys_name and (sys_platform.find('arm') > 0 or sys_platform.find('aarch64')): sys_name = 'LinuxARM' if 'CYGWIN_NT' in sys_name: sys_name = 'Windows'