Fixed call to setLibrariesFolder

cmaglie · cmaglie · commit 3995ca11918c · 2020-05-25T13:29:37.000+02:00
diff --git a/arduino-core/src/processing/app/BaseNoGui.java b/arduino-core/src/processing/app/BaseNoGui.java
@@ -674,7 +674,7 @@ static public void onBoardOrPortChange() {
     // Scan for libraries in each library folder.
     // Libraries located in the latest folders on the list can override
     // other libraries with the same name.
-    librariesIndexer.setLibrariesFolders(librariesFolders, false);
+    librariesIndexer.setLibrariesFolders(librariesFolders);
     if (getTargetPlatform() != null) {
       librariesIndexer.setArchitecturePriority(getTargetPlatform().getId());
     }

Original file line number	Diff line number	Diff line change
`@@ -674,7 +674,7 @@ static public void onBoardOrPortChange() {`
`674`	`674`	`// Scan for libraries in each library folder.`
`675`	`675`	`// Libraries located in the latest folders on the list can override`
`676`	`676`	`// other libraries with the same name.`
`677`		`- librariesIndexer.setLibrariesFolders(librariesFolders, false);`
	`677`	`+ librariesIndexer.setLibrariesFolders(librariesFolders);`
`678`	`678`	`if (getTargetPlatform() != null) {`
`679`	`679`	`librariesIndexer.setArchitecturePriority(getTargetPlatform().getId());`
`680`	`680`	`}`