File tree Expand file tree Collapse file tree 1 file changed +9
-0
lines changed Expand file tree Collapse file tree 1 file changed +9
-0
lines changed Original file line number Diff line number Diff line change @@ -1230,6 +1230,15 @@ public void onBoardOrPortChange() {
12301230 File platformFolder = targetPlatform .getFolder ();
12311231 librariesFolders = new ArrayList <File >();
12321232 librariesFolders .add (getContentFile ("libraries" ));
1233+ String core = getBoardPreferences ().get ("build.core" );
1234+ if (core .contains (":" )) {
1235+ String referencedCore = core .split (":" )[0 ];
1236+ TargetPlatform referencedPlatform = Base .getTargetPlatform (referencedCore , targetPlatform .getId ());
1237+ if (referencedPlatform != null ) {
1238+ File referencedPlatformFolder = referencedPlatform .getFolder ();
1239+ librariesFolders .add (new File (referencedPlatformFolder , "libraries" ));
1240+ }
1241+ }
12331242 librariesFolders .add (new File (platformFolder , "libraries" ));
12341243 librariesFolders .add (getSketchbookLibrariesFolder ());
12351244
You can’t perform that action at this time.
0 commit comments