tree 6244bebc737df1d5827dedea1cc5c7f6fdbd7a79
parent 84a7c7f5fcf1b9dacd5473d92e85406a8f5b42c7
author schmitt <schmitt@google.com> 1555612592 -0700
committer Copybara-Service <copybara-worker@google.com> 1555612691 -0700

Raise an error if platform mappings have duplicate keys.

It should not be possible to create two platform mappings with either the same platform as key or the same set of flags.

RELNOTES: None.
PiperOrigin-RevId: 244227201