Correct configuration for native_tools_toolchain (#637)

This commit is contained in:
James Sharpe 2021-05-09 23:15:52 +01:00 committed by GitHub
parent b9685b507e
commit 2baa2e8948
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 0 deletions

View File

@ -49,6 +49,7 @@ native_tool_toolchain = rule(
),
"target": attr.label(
mandatory = False,
cfg = "exec",
doc = (
"If the tool is preinstalled, must be None. " +
"If the tool is built as part of the build, the corresponding build target, " +
@ -56,4 +57,5 @@ native_tool_toolchain = rule(
),
),
},
incompatible_use_toolchain_transition = True,
)