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