rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2025-01-17 06:52:18 +01:00
Code Issues Releases Activity

Fixed check for referenced cores. See #1157

Browse Source
This commit is contained in:
Cristian Maglie 2013-03-04 17:29:44 +01:00
parent 9024fe455c
commit 6bfe877c45
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
app/src/processing/app/Base.java
View File

@ -1278,9 +1278,10 @@ public class Base {
continue;
boolean firstRefBoardBlock = true;
for (TargetBoard board : platf.getBoards().values()) {
if (board.getReferencedPackageId() == null)
String ref = board.getReferencedPackageId();
if (ref == null || !ref.equals(targetPackage.getId()))
continue;
// Add a separator from the previous platform
if (firstRefBoardBlock)
boardsMenu.add(new JSeparator());