mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-30 19:52:13 +01:00
IDE didn't stop if an invalid library is found
This commit is contained in:
parent
92ad5f039c
commit
c24b3f6489
@ -1169,10 +1169,15 @@ public class Base {
|
|||||||
continue;
|
continue;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
try {
|
||||||
Library lib = Library.create(subfolder);
|
Library lib = Library.create(subfolder);
|
||||||
// (also replace previously found libs with the same name)
|
// (also replace previously found libs with the same name)
|
||||||
if (lib != null)
|
if (lib != null)
|
||||||
res.addOrReplace(lib);
|
res.addOrReplace(lib);
|
||||||
|
} catch (IOException e) {
|
||||||
|
System.out.println(I18n.format(_("Invalid library found in {0}: {1}"),
|
||||||
|
subfolder, e.getMessage()));
|
||||||
|
}
|
||||||
}
|
}
|
||||||
return res;
|
return res;
|
||||||
}
|
}
|
||||||
|
Loading…
x
Reference in New Issue
Block a user