1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-01-19 08:52:15 +01:00

Match wildcard property "." with board fqbn/name

This commit is contained in:
Martino Facchin 2019-03-07 14:10:42 +01:00
parent be1a8403f0
commit d4bbf71b30

View File

@ -144,6 +144,16 @@ public class BoardPort {
PreferencesMap identificationProps = getIdentificationPrefs();
PreferencesMap boardProps = board.getPreferences();
String wildMatcher = identificationProps.get(".");
if (wildMatcher != null) {
if (wildMatcher.equals(board.getId())) {
return true;
}
if (wildMatcher.equals(board.getFQBN())) {
return true;
}
}
// Identification properties are defined in boards.txt with a ".N" suffix
// for example:
//