From a0d73d3bf63ebbfb7d63bf428b3b1177689e7224 Mon Sep 17 00:00:00 2001
From: Martino Facchin <m.facchin@arduino.cc>
Date: Mon, 9 Mar 2020 17:22:46 +0100
Subject: [PATCH] LibManager: avoid throwing an exception to allow correct
error handling
---
.../cc/arduino/contributions/libraries/LibrariesIndexer.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/arduino-core/src/cc/arduino/contributions/libraries/LibrariesIndexer.java b/arduino-core/src/cc/arduino/contributions/libraries/LibrariesIndexer.java
index 6b27e0a0b..3ce2ef419 100644
--- a/arduino-core/src/cc/arduino/contributions/libraries/LibrariesIndexer.java
+++ b/arduino-core/src/cc/arduino/contributions/libraries/LibrariesIndexer.java
@@ -202,7 +202,7 @@ public class LibrariesIndexer {
String[] headers = BaseNoGui
.headerListFromIncludePath(lib.getSrcFolder()); // TODO: Obtain from the CLI?
if (headers.length == 0) {
- throw new IOException(format(tr("no headers files (.h) found in {0}"),
+ System.out.println(format(tr("no headers files (.h) found in {0}"),
lib.getSrcFolder()));
}