mirror of
https://github.com/arduino/Arduino.git
synced 2024-12-01 12:24:14 +01:00
removed check on .h file existence
This commit is contained in:
parent
d458ef7806
commit
9fdb047197
@ -2716,11 +2716,6 @@ public class Base {
|
||||
editor.statusError(mess);
|
||||
return;
|
||||
}
|
||||
String[] headerFiles = headerListFromIncludePath(libFolder);
|
||||
if (headerFiles == null || headerFiles.length == 0) {
|
||||
editor.statusError(_("Not a valid library: no header files found"));
|
||||
return;
|
||||
}
|
||||
|
||||
// copy folder
|
||||
File destinationFolder = new File(getSketchbookLibrariesFolder(), sourceFile.getName());
|
||||
|
Loading…
Reference in New Issue
Block a user