diff options
author | Joshua Haberman <jhaberman@gmail.com> | 2018-12-23 16:20:04 -0800 |
---|---|---|
committer | Joshua Haberman <jhaberman@gmail.com> | 2018-12-23 16:20:04 -0800 |
commit | 08987e3dd4159cf7d1d303a81fd38c5e02a44557 (patch) | |
tree | 8f8123f2a41c4cee2f39cd9fe7d4954bb4ed8183 /tools | |
parent | aa2d5a609bc714e90300f26e04e729a4822a2aa5 (diff) | |
parent | 87b59f445b7be42685491b816416a4e360e30b33 (diff) |
Merge branch 'master' into arrayapi
Diffstat (limited to 'tools')
-rw-r--r-- | tools/dump_cinit.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/dump_cinit.lua b/tools/dump_cinit.lua index 93ee12e..34d9dd1 100644 --- a/tools/dump_cinit.lua +++ b/tools/dump_cinit.lua @@ -350,6 +350,7 @@ end local function well_known_type(m) local type_map = {} + type_map["google.protobuf.Any"] = "UPB_WELLKNOWN_ANY" type_map["google.protobuf.Duration"] = "UPB_WELLKNOWN_DURATION" type_map["google.protobuf.Timestamp"] = "UPB_WELLKNOWN_TIMESTAMP" type_map["google.protobuf.Value"] = "UPB_WELLKNOWN_VALUE" |