1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-03-14 11:29:26 +01:00

Slightly simplified loop

This commit is contained in:
Cristian Maglie 2020-03-12 18:01:37 +01:00
parent b306f84038
commit 727e3694c4

View File

@ -187,9 +187,7 @@ public class Compiler implements MessageConsumer {
PreferencesData.getMap() PreferencesData.getMap()
.subTree("runtime.build_properties_custom") .subTree("runtime.build_properties_custom")
.entrySet() .forEach((k, v) -> req.addBuildProperties(k + "=" + v));
.stream()
.forEach(kv -> req.addBuildProperties(kv.getKey() + "=" + kv.getValue()));
req.addBuildProperties("build.warn_data_percentage=" req.addBuildProperties("build.warn_data_percentage="
+ PreferencesData.get("build.warn_data_percentage")); + PreferencesData.get("build.warn_data_percentage"));