diff options
| -rw-r--r-- | third_party/BUILD | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/third_party/BUILD b/third_party/BUILD index b459e42de0..3c8e042c61 100644 --- a/third_party/BUILD +++ b/third_party/BUILD @@ -647,6 +647,11 @@ config_setting( ) config_setting( + name = "aarch64", + values = {"host_cpu": "aarch64"}, +) + +config_setting( name = "freebsd", values = {"host_cpu": "freebsd"}, ) |