| commit | 380c85cc2c7b126c6e354f517dc16d89fe760c9f | [log] [tgz] |
|---|---|---|
| author | aiuto <aiuto@google.com> | Tue Aug 23 15:55:36 2022 -0400 |
| committer | GitHub <noreply@github.com> | Tue Aug 23 15:55:36 2022 -0400 |
| tree | 278f4588b4534232fc294885443ba7397509583d | |
| parent | da5541f26b7de1dc8e04c075c99df5351742a4a2 [diff] | |
| parent | 2f75a269e555dcf1d059490a542e92231ee4d6c7 [diff] |
Merge pull request #45 from aiuto/crhm Add chromiumos
diff --git a/os/BUILD b/os/BUILD index 96df162..e0484ee 100644 --- a/os/BUILD +++ b/os/BUILD
@@ -106,3 +106,8 @@ name = "fuchsia", constraint_setting = ":os", ) + +constraint_value( + name = "chromiumos", + constraint_setting = ":os", +)