diff options
author | katre <katre@henchmonkey.org> | 2017-12-11 10:39:11 -0800 |
---|---|---|
committer | Copybara-Service <copybara-piper@google.com> | 2017-12-11 10:41:19 -0800 |
commit | 3c60ee3af3c694b383c6e376661326bb935f09c2 (patch) | |
tree | a4249ce63fbaddd15707b59a14f502483e1b9180 /site/docs/toolchains.md | |
parent | 44f3a3f228f7ff9cfa25c5b850dac051accd30e8 (diff) |
Add details on the toolchain_type
Closes #4272.
PiperOrigin-RevId: 178638248
Diffstat (limited to 'site/docs/toolchains.md')
-rw-r--r-- | site/docs/toolchains.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/site/docs/toolchains.md b/site/docs/toolchains.md index 16b1dcfcde..a0b1512b4e 100644 --- a/site/docs/toolchains.md +++ b/site/docs/toolchains.md @@ -128,6 +128,8 @@ lazy loading of toolchains. Below is an example toolchain definition: ```python +toolchain_type(name = 'my_toolchain_type') + toolchain( name = 'linux_toolchain', toolchain_type = '//path/to:my_toolchain_type', |