From 64c53afa20c9179bf06d0489f35cfd88471ae95d Mon Sep 17 00:00:00 2001
From: Cristian Maglie <c.maglie@arduino.cc>
Date: Wed, 15 Jul 2020 11:51:26 +0200
Subject: [PATCH] Added script to automatically update arduino-cli

---
 build/update_arduino_cli.sh | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100755 build/update_arduino_cli.sh

diff --git a/build/update_arduino_cli.sh b/build/update_arduino_cli.sh
new file mode 100755
index 000000000..cadf24450
--- /dev/null
+++ b/build/update_arduino_cli.sh
@@ -0,0 +1,20 @@
+#!/bin/bash -ex
+
+VERSION=$1
+if [ -z $VERSION ]; then
+    echo Please specify an arduino-cli version
+    exit 1
+fi
+
+git rm arduino-cli*.sha -f
+rm -f arduino-cli_${VERSION}*
+
+for VARIANT in Linux_32bit.tar.gz Linux_64bit.tar.gz Linux_ARM64.tar.gz macOS_64bit.tar.gz Linux_ARMv7.tar.gz Windows_32bit.zip; do
+    wget https://downloads.arduino.cc/arduino-cli/arduino-cli_${VERSION}_${VARIANT}
+    shasum arduino-cli_${VERSION}_${VARIANT} | cut -d " " -f 1 > arduino-cli_${VERSION}_${VARIANT}.sha
+    git add arduino-cli_${VERSION}_${VARIANT}.sha
+done
+
+sed -i "s/\\(ARDUINO-CLI-VERSION\" value=\\)\"\\(.*\\)\"/\\1\"${VERSION}\"/" build.xml
+git add build.xml
+