diff --git a/arduino-core/src/processing/app/BaseNoGui.java b/arduino-core/src/processing/app/BaseNoGui.java
index 64a8313b5..8bb95f5bb 100644
--- a/arduino-core/src/processing/app/BaseNoGui.java
+++ b/arduino-core/src/processing/app/BaseNoGui.java
@@ -169,6 +169,9 @@ public class BaseNoGui {
         ContributedPlatform referencedPlatform = indexer.getContributedPlaform(referenced);
         if (referencedPlatform != null)
           requiredTools.addAll(referencedPlatform.getResolvedTools());
+      } else {
+        String msg = tr("The current selected board needs the core '{0}' that is not installed.");
+        System.out.println(I18n.format(msg, core));
       }
     }