diff options
author | Kevin Lubick <kjlubick@users.noreply.github.com> | 2022-07-05 20:54:59 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-07-05 20:54:59 +0300 |
commit | 6803cc51268a56ec6d6b622fb91fac012cb589ef (patch) | |
tree | 3f6ef5d89407cb56447968142ed1ddd44dd74d81 /BUILD.bazel | |
parent | 32622ba7c61641b2235d6ac8aecf595745a8afe3 (diff) |
use exec_tools instead of tools for better RBE compatibility (#4837)
Diffstat (limited to 'BUILD.bazel')
-rw-r--r-- | BUILD.bazel | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/BUILD.bazel b/BUILD.bazel index 914619afe..35dfd6657 100644 --- a/BUILD.bazel +++ b/BUILD.bazel @@ -82,7 +82,7 @@ genrule( outs = ["generators.inc"], cmd = "$(location generate_registry_tables) --xml=$(location @spirv_headers//:spirv_xml_registry) --generator-output=$(location generators.inc)", cmd_bat = "$(location //:generate_registry_tables) --xml=$(location @spirv_headers//:spirv_xml_registry) --generator-output=$(location generators.inc)", - tools = [":generate_registry_tables"], + exec_tools = [":generate_registry_tables"], ) py_binary( @@ -96,7 +96,7 @@ genrule( outs = ["build-version.inc"], cmd = "SOURCE_DATE_EPOCH=0 $(location update_build_version) $(location CHANGES) $(location build-version.inc)", cmd_bat = "set SOURCE_DATE_EPOCH=0 && $(location //:update_build_version) $(location CHANGES) $(location build-version.inc)", - tools = [":update_build_version"], + exec_tools = [":update_build_version"], ) # Libraries |