aboutsummaryrefslogtreecommitdiffhomepage
path: root/src
diff options
context:
space:
mode:
authorGravatar janakr <janakr@google.com>2018-02-27 12:12:00 -0800
committerGravatar Copybara-Service <copybara-piper@google.com>2018-02-27 12:14:48 -0800
commit19ffa2a3a426d89611c6313cdea6829c55dd21d4 (patch)
tree74ff74efbb7f8dc22032ff37f4a589764d0a3d0c /src
parent09765a89547c4775bcffb69c1442592228cb028e (diff)
Pass constants along when recreating Builder in ObjectCodecRegistry.
PiperOrigin-RevId: 187212436
Diffstat (limited to 'src')
-rw-r--r--src/main/java/com/google/devtools/build/lib/skyframe/serialization/ObjectCodecRegistry.java3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/skyframe/serialization/ObjectCodecRegistry.java b/src/main/java/com/google/devtools/build/lib/skyframe/serialization/ObjectCodecRegistry.java
index 164fe92850..f0968477d0 100644
--- a/src/main/java/com/google/devtools/build/lib/skyframe/serialization/ObjectCodecRegistry.java
+++ b/src/main/java/com/google/devtools/build/lib/skyframe/serialization/ObjectCodecRegistry.java
@@ -159,6 +159,9 @@ public class ObjectCodecRegistry {
for (Map.Entry<String, CodecDescriptor> entry : stringMappedCodecs.entrySet()) {
builder.add(entry.getKey(), entry.getValue().getCodec());
}
+ for (Object constant : constants) {
+ builder.addConstant(constant);
+ }
return builder;
}