From 197992c8f5dfe13e557515c68665b0ffbc732b9f Mon Sep 17 00:00:00 2001
From: Cristian Maglie <c.maglie@arduino.cc>
Date: Wed, 22 Jan 2020 18:00:48 +0100
Subject: [PATCH] Updated arduino-cli to 0.7.2

---
 build/arduino-cli_0.6.0_Linux_32bit.tar.bz2.sha | 1 -
 build/arduino-cli_0.6.0_Linux_64bit.tar.bz2.sha | 1 -
 build/arduino-cli_0.6.0_Linux_ARM64.tar.bz2.sha | 1 -
 build/arduino-cli_0.6.0_Linux_ARMv7.tar.bz2.sha | 1 -
 build/arduino-cli_0.6.0_Windows_32bit.zip.sha   | 1 -
 build/arduino-cli_0.6.0_macOS_64bit.tar.bz2.sha | 1 -
 build/arduino-cli_0.7.2_Linux_32bit.tar.gz.sha  | 1 +
 build/arduino-cli_0.7.2_Linux_64bit.tar.gz.sha  | 1 +
 build/arduino-cli_0.7.2_Linux_ARM64.tar.gz.sha  | 1 +
 build/arduino-cli_0.7.2_Linux_ARMv7.tar.gz.sha  | 1 +
 build/arduino-cli_0.7.2_Windows_32bit.zip.sha   | 1 +
 build/arduino-cli_0.7.2_macOS_64bit.tar.gz.sha  | 1 +
 build/build.xml                                 | 4 ++--
 13 files changed, 8 insertions(+), 8 deletions(-)
 delete mode 100644 build/arduino-cli_0.6.0_Linux_32bit.tar.bz2.sha
 delete mode 100644 build/arduino-cli_0.6.0_Linux_64bit.tar.bz2.sha
 delete mode 100644 build/arduino-cli_0.6.0_Linux_ARM64.tar.bz2.sha
 delete mode 100644 build/arduino-cli_0.6.0_Linux_ARMv7.tar.bz2.sha
 delete mode 100644 build/arduino-cli_0.6.0_Windows_32bit.zip.sha
 delete mode 100644 build/arduino-cli_0.6.0_macOS_64bit.tar.bz2.sha
 create mode 100644 build/arduino-cli_0.7.2_Linux_32bit.tar.gz.sha
 create mode 100644 build/arduino-cli_0.7.2_Linux_64bit.tar.gz.sha
 create mode 100644 build/arduino-cli_0.7.2_Linux_ARM64.tar.gz.sha
 create mode 100644 build/arduino-cli_0.7.2_Linux_ARMv7.tar.gz.sha
 create mode 100644 build/arduino-cli_0.7.2_Windows_32bit.zip.sha
 create mode 100644 build/arduino-cli_0.7.2_macOS_64bit.tar.gz.sha

diff --git a/build/arduino-cli_0.6.0_Linux_32bit.tar.bz2.sha b/build/arduino-cli_0.6.0_Linux_32bit.tar.bz2.sha
deleted file mode 100644
index b660760b4..000000000
--- a/build/arduino-cli_0.6.0_Linux_32bit.tar.bz2.sha
+++ /dev/null
@@ -1 +0,0 @@
-c56c601c079ab515225f6bd38de4e201ae2cda6e
diff --git a/build/arduino-cli_0.6.0_Linux_64bit.tar.bz2.sha b/build/arduino-cli_0.6.0_Linux_64bit.tar.bz2.sha
deleted file mode 100644
index e4c80e685..000000000
--- a/build/arduino-cli_0.6.0_Linux_64bit.tar.bz2.sha
+++ /dev/null
@@ -1 +0,0 @@
-5d1a4721fb827e2759a114bc2cf9b0c384f1e84e
diff --git a/build/arduino-cli_0.6.0_Linux_ARM64.tar.bz2.sha b/build/arduino-cli_0.6.0_Linux_ARM64.tar.bz2.sha
deleted file mode 100644
index 1a414fc4c..000000000
--- a/build/arduino-cli_0.6.0_Linux_ARM64.tar.bz2.sha
+++ /dev/null
@@ -1 +0,0 @@
-3fefbf1657f248efc3d11c16cb53389054935ac4
diff --git a/build/arduino-cli_0.6.0_Linux_ARMv7.tar.bz2.sha b/build/arduino-cli_0.6.0_Linux_ARMv7.tar.bz2.sha
deleted file mode 100644
index f387fe544..000000000
--- a/build/arduino-cli_0.6.0_Linux_ARMv7.tar.bz2.sha
+++ /dev/null
@@ -1 +0,0 @@
-76f5ede75caccc870ed9cefd592959d93d3ad0f6
diff --git a/build/arduino-cli_0.6.0_Windows_32bit.zip.sha b/build/arduino-cli_0.6.0_Windows_32bit.zip.sha
deleted file mode 100644
index eed16adbb..000000000
--- a/build/arduino-cli_0.6.0_Windows_32bit.zip.sha
+++ /dev/null
@@ -1 +0,0 @@
-4f4b92c0707dab4c1e8b2e28d344979eeaaa497a
diff --git a/build/arduino-cli_0.6.0_macOS_64bit.tar.bz2.sha b/build/arduino-cli_0.6.0_macOS_64bit.tar.bz2.sha
deleted file mode 100644
index b8598505e..000000000
--- a/build/arduino-cli_0.6.0_macOS_64bit.tar.bz2.sha
+++ /dev/null
@@ -1 +0,0 @@
-479ecad6fc3abdbc51072024cfc33cfc27771200
diff --git a/build/arduino-cli_0.7.2_Linux_32bit.tar.gz.sha b/build/arduino-cli_0.7.2_Linux_32bit.tar.gz.sha
new file mode 100644
index 000000000..605b174a3
--- /dev/null
+++ b/build/arduino-cli_0.7.2_Linux_32bit.tar.gz.sha
@@ -0,0 +1 @@
+89faea4180755d84d0f4f13c340f903022508293
diff --git a/build/arduino-cli_0.7.2_Linux_64bit.tar.gz.sha b/build/arduino-cli_0.7.2_Linux_64bit.tar.gz.sha
new file mode 100644
index 000000000..7ee96cc21
--- /dev/null
+++ b/build/arduino-cli_0.7.2_Linux_64bit.tar.gz.sha
@@ -0,0 +1 @@
+d656a61496af85b7d330d41b6ddef4defb6f5daa
diff --git a/build/arduino-cli_0.7.2_Linux_ARM64.tar.gz.sha b/build/arduino-cli_0.7.2_Linux_ARM64.tar.gz.sha
new file mode 100644
index 000000000..2bbd5b97f
--- /dev/null
+++ b/build/arduino-cli_0.7.2_Linux_ARM64.tar.gz.sha
@@ -0,0 +1 @@
+e6cbd6bb0550767ea301771cdab3f67b5b475f66
diff --git a/build/arduino-cli_0.7.2_Linux_ARMv7.tar.gz.sha b/build/arduino-cli_0.7.2_Linux_ARMv7.tar.gz.sha
new file mode 100644
index 000000000..132ca95f6
--- /dev/null
+++ b/build/arduino-cli_0.7.2_Linux_ARMv7.tar.gz.sha
@@ -0,0 +1 @@
+c942c615ef939bb84770cdea6b0b9482ca114484
diff --git a/build/arduino-cli_0.7.2_Windows_32bit.zip.sha b/build/arduino-cli_0.7.2_Windows_32bit.zip.sha
new file mode 100644
index 000000000..115fa9038
--- /dev/null
+++ b/build/arduino-cli_0.7.2_Windows_32bit.zip.sha
@@ -0,0 +1 @@
+c3942a3abf7edd092a6905ac1be1f04e687879af
diff --git a/build/arduino-cli_0.7.2_macOS_64bit.tar.gz.sha b/build/arduino-cli_0.7.2_macOS_64bit.tar.gz.sha
new file mode 100644
index 000000000..f277d327d
--- /dev/null
+++ b/build/arduino-cli_0.7.2_macOS_64bit.tar.gz.sha
@@ -0,0 +1 @@
+f76546ddeae612dbae07dce32e77dfe7fe9160ec
diff --git a/build/build.xml b/build/build.xml
index 92845244d..b632030cb 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -107,7 +107,7 @@
   <property name="portable" value="false" />
 
   <property name="ARDUINO-BUILDER-VERSION" value="1.5.4" />
-  <property name="ARDUINO-CLI-VERSION" value="0.6.0" />
+  <property name="ARDUINO-CLI-VERSION" value="0.7.2" />
   <property name="LIBLISTSERIAL-VERSION" value="1.4.2-2" />
   <property name="AVRGCC-VERSION" value="7.3.0-atmel3.6.1-arduino7" />
   <property name="AVRDUDE-VERSION" value="6.3.0-arduino17" />
@@ -857,7 +857,7 @@
     <delete dir="${staging_folder}/arduino-cli-${platform}" includeemptydirs="true"/>
     <mkdir dir="${staging_folder}/arduino-cli-${platform}"/>
     <antcall target="untar-native">
-      <param name="archive_file" value="./arduino-cli_${ARDUINO-CLI-VERSION}_${platform_ext}.tar.bz2" />
+      <param name="archive_file" value="./arduino-cli_${ARDUINO-CLI-VERSION}_${platform_ext}.tar.gz" />
       <param name="archive_url" value="https://downloads.arduino.cc/arduino-cli/arduino-cli_${ARDUINO-CLI-VERSION}_${platform_ext}.tar.gz" />
       <param name="final_folder" value="${staging_folder}/arduino-cli-${platform}/arduino-cli" />
       <param name="dest_folder" value="${staging_folder}/arduino-cli-${platform}" />