From 4c45ea8ecc6f2eb218846635bf17ec9368652a37 Mon Sep 17 00:00:00 2001
From: Cristian Maglie <c.maglie@arduino.cc>
Date: Wed, 22 Jul 2020 23:53:43 +0200
Subject: [PATCH] Fixed NPE in buildProgrammersMenu

Some platforms may not define directly 'build.core' because it may be defined
through a custom menu.

For example, the arduboy platform has in the boards.txt:

   [...]
   menu.core=Core
   [...]
   # core #
   arduboy-homemade.menu.core.arduboy-core=Arduboy optimized core
   arduboy-homemade.menu.core.arduboy-core.build.core=arduboy
   arduboy-homemade.menu.core.arduino-core=Standard Arduino core
   arduboy-homemade.menu.core.arduino-core.build.core=arduino:arduino
   [...]

the build.core is determined only after applying the submenu options.
---
 app/src/processing/app/Base.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app/src/processing/app/Base.java b/app/src/processing/app/Base.java
index 34193e07d..1e4819bba 100644
--- a/app/src/processing/app/Base.java
+++ b/app/src/processing/app/Base.java
@@ -1706,7 +1706,7 @@ public class Base {
     TargetPlatform corePlatform = null;
 
     String core = board.getPreferences().get("build.core");
-    if (core.contains(":")) {
+    if (core != null && core.contains(":")) {
       String[] split = core.split(":", 2);
       corePlatform = BaseNoGui.getCurrentTargetPlatformFromPackage(split[0]);
     }