mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-21 15:54:39 +01:00
parent
c3675a8bef
commit
d518d7683c
@ -215,7 +215,7 @@ public class ContributionsIndexer {
|
|||||||
}
|
}
|
||||||
|
|
||||||
private void syncBuiltInHardware() throws IOException {
|
private void syncBuiltInHardware() throws IOException {
|
||||||
if (index == null) {
|
if (index == null || builtInHardwareFolder == null) {
|
||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
for (File folder : builtInHardwareFolder.listFiles(ONLY_DIRS)) {
|
for (File folder : builtInHardwareFolder.listFiles(ONLY_DIRS)) {
|
||||||
|
@ -676,7 +676,9 @@ public class BaseNoGui {
|
|||||||
// Libraries located in the latest folders on the list can override
|
// Libraries located in the latest folders on the list can override
|
||||||
// other libraries with the same name.
|
// other libraries with the same name.
|
||||||
librariesIndexer.setLibrariesFolders(librariesFolders);
|
librariesIndexer.setLibrariesFolders(librariesFolders);
|
||||||
librariesIndexer.setArchitecturePriority(getTargetPlatform().getId());
|
if (getTargetPlatform() != null) {
|
||||||
|
librariesIndexer.setArchitecturePriority(getTargetPlatform().getId());
|
||||||
|
}
|
||||||
librariesIndexer.rescanLibraries();
|
librariesIndexer.rescanLibraries();
|
||||||
|
|
||||||
populateImportToLibraryTable();
|
populateImportToLibraryTable();
|
||||||
|
Loading…
x
Reference in New Issue
Block a user