From 731e8e7dd9829ca2c6829b738610a7e207930a6b Mon Sep 17 00:00:00 2001
From: Cristian Maglie <c.maglie@arduino.cc>
Date: Tue, 7 Jul 2020 16:27:28 +0200
Subject: [PATCH] Emit error if a tool is not available for current OS

Fix https://github.com/arduino/arduino-cli/issues/755
---
 commands/core/install.go | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/commands/core/install.go b/commands/core/install.go
index 0d2e49deb73..24fa4c57537 100644
--- a/commands/core/install.go
+++ b/commands/core/install.go
@@ -86,7 +86,9 @@ func installPlatform(pm *packagemanager.PackageManager,
 	// Package download
 	taskCB(&rpc.TaskProgress{Name: "Downloading packages"})
 	for _, tool := range toolsToInstall {
-		downloadTool(pm, tool, downloadCB)
+		if err := downloadTool(pm, tool, downloadCB); err != nil {
+			return err
+		}
 	}
 	downloadPlatform(pm, platformRelease, downloadCB)
 	taskCB(&rpc.TaskProgress{Completed: true})