mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-20 14:54:31 +01:00
Add "runtime." prefix to "build_properties_custom.*" preferences
This commit is contained in:
parent
9c741885e0
commit
c99ab12446
@ -228,7 +228,7 @@ public class Compiler implements MessageConsumer {
|
||||
commandLine.addArgument("-warnings=" + PreferencesData.get("compiler.warning_level"), false);
|
||||
|
||||
PreferencesData.getMap()
|
||||
.subTree("build_properties_custom")
|
||||
.subTree("runtime.build_properties_custom")
|
||||
.entrySet()
|
||||
.stream()
|
||||
.forEach(kv -> commandLine.addArgument("-prefs=\"" + kv.getKey() + "=" + kv.getValue() + "\"", false));
|
||||
|
@ -277,7 +277,7 @@ public class CommandlineParser {
|
||||
BaseNoGui.showError(null, I18n.format(tr("{0}: Invalid argument to --pref, should be of the form \"pref=value\""), arg), 3);
|
||||
|
||||
PreferencesData.set(split[0], split[1]);
|
||||
PreferencesData.set("build_properties_custom." + split[0], split[1]);
|
||||
PreferencesData.set("runtime.build_properties_custom." + split[0], split[1]);
|
||||
}
|
||||
|
||||
public boolean isDoVerboseBuild() {
|
||||
|
Loading…
x
Reference in New Issue
Block a user