diff options
Diffstat (limited to 'src/BUILD.tools')
| -rw-r--r-- | src/BUILD.tools | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/BUILD.tools b/src/BUILD.tools index 46a13e6e71..214ed44836 100644 --- a/src/BUILD.tools +++ b/src/BUILD.tools @@ -5,6 +5,18 @@ config_setting( ) config_setting( + name = "darwin", + values = {"cpu": "darwin"}, + visibility = ["//visibility:public"], +) + +config_setting( + name = "darwin_x86_64", + values = {"cpu": "darwin_x86_64"}, + visibility = ["//visibility:public"], +) + +config_setting( name = "windows", values = {"cpu": "x64_windows"}, visibility = ["//visibility:public"], |