mirror of
https://github.com/arduino/Arduino.git
synced 2025-03-13 10:29:35 +01:00
LibManager: avoid throwing an exception to allow correct error handling
This commit is contained in:
parent
11847e6677
commit
a0d73d3bf6
@ -202,7 +202,7 @@ public class LibrariesIndexer {
|
|||||||
String[] headers = BaseNoGui
|
String[] headers = BaseNoGui
|
||||||
.headerListFromIncludePath(lib.getSrcFolder()); // TODO: Obtain from the CLI?
|
.headerListFromIncludePath(lib.getSrcFolder()); // TODO: Obtain from the CLI?
|
||||||
if (headers.length == 0) {
|
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()));
|
lib.getSrcFolder()));
|
||||||
}
|
}
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user