From 2fd0d35a6e54c617e23c076b86c8a06d771f627d Mon Sep 17 00:00:00 2001
From: Cristian Maglie <c.maglie@arduino.cc>
Date: Sat, 7 Dec 2019 17:23:51 +0100
Subject: [PATCH] Small update to ProgressWrapper

---
 arduino-core/src/cc/arduino/cli/ProgressWrapper.java | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/arduino-core/src/cc/arduino/cli/ProgressWrapper.java b/arduino-core/src/cc/arduino/cli/ProgressWrapper.java
index f9a37a2ed..71cbed6c7 100644
--- a/arduino-core/src/cc/arduino/cli/ProgressWrapper.java
+++ b/arduino-core/src/cc/arduino/cli/ProgressWrapper.java
@@ -83,6 +83,10 @@ class ProgressWrapper {
   String taskName;
 
   public void update(TaskProgress t) {
+    if (t == null) {
+      return;
+    }
+
     String name = t.getName();
     if (!name.isEmpty()) {
       taskName = name;