fixing merge discrepancy

gemini · Jun 5, 2024 · 7d57419 · 7d57419
1 parent c0719a5
commit 7d57419
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/main/java/com/google/devtools/build/lib/analysis/platform/PlatformUtils.java b/src/main/java/com/google/devtools/build/lib/analysis/platform/PlatformUtils.java
@@ -99,7 +99,8 @@ public static Platform getPlatformProto(
     } else if (spawn.getExecutionPlatform() != null
         && !Strings.isNullOrEmpty(spawn.getExecutionPlatform().remoteExecutionProperties())) {
       properties = new HashMap<>();
-      // Try and get the platform info from the execution properties.
+      // Try and get the platform info from the execution properties. This is pretty inefficient; it
+      // would be better to store the parsed properties instead of the String text proto.
       try {
         Platform.Builder platformBuilder = Platform.newBuilder();
         TextFormat.getParser()