diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2019-09-14 17:43:10 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2019-11-18 16:43:48 +0100 |
| commit | 7cbf31aa04679b6a9ccf7b19f9752be8a65e0245 (patch) | |
| tree | 079a4f8b781f035e4c0e3e052d7bb762ed23baa3 /src/tools | |
| parent | bbfd63c89afe091fa9ec75bba0a5721d153d78f3 (diff) | |
rename check-theme option into check-themes
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/rustdoc-themes/main.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/rustdoc-themes/main.rs b/src/tools/rustdoc-themes/main.rs index b5be14fb418..fb0c9d7d4e0 100644 --- a/src/tools/rustdoc-themes/main.rs +++ b/src/tools/rustdoc-themes/main.rs @@ -39,7 +39,7 @@ fn main() { exit(1); } let status = Command::new(rustdoc_bin) - .args(&["-Z", "unstable-options", "--check-theme"]) + .args(&["-Z", "unstable-options", "--check-themes"]) .args(&themes) .status() .expect("failed to execute child"); |