diff options
author | janakr <janakr@google.com> | 2018-02-27 12:12:00 -0800 |
---|---|---|
committer | Copybara-Service <copybara-piper@google.com> | 2018-02-27 12:14:48 -0800 |
commit | 19ffa2a3a426d89611c6313cdea6829c55dd21d4 (patch) | |
tree | 74ff74efbb7f8dc22032ff37f4a589764d0a3d0c /src/main/java/com/google/devtools | |
parent | 09765a89547c4775bcffb69c1442592228cb028e (diff) |
Pass constants along when recreating Builder in ObjectCodecRegistry.
PiperOrigin-RevId: 187212436
Diffstat (limited to 'src/main/java/com/google/devtools')
-rw-r--r-- | src/main/java/com/google/devtools/build/lib/skyframe/serialization/ObjectCodecRegistry.java | 3 |
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; } |