diff options
| author | Christian Poveda <christianpoveda@protonmail.com> | 2018-09-30 12:14:27 -0500 |
|---|---|---|
| committer | Christian Poveda <christianpoveda@protonmail.com> | 2018-10-01 12:42:20 -0500 |
| commit | 276557504d20412b46bc5ba2e3463f1ddce73040 (patch) | |
| tree | 0c9c8c0973606ad95190b04c47b4483bfae1ed96 /config.toml.example | |
| parent | 0724ed68bb0c6c5be89753f1da13ea27dfe2301d (diff) | |
| download | rust-276557504d20412b46bc5ba2e3463f1ddce73040.tar.gz | |
Fix conditions to allow missing tools in CI
Diffstat (limited to 'config.toml.example')
| -rw-r--r-- | config.toml.example | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/config.toml.example b/config.toml.example index 66eaab236f7..312270532af 100644 --- a/config.toml.example +++ b/config.toml.example @@ -481,3 +481,7 @@ # as the one built on Windows will contain backslashes in paths causing problems # on linux #src-tarball = true +# + +# Whether to allow failures when building tools +#missing-tools = false |