diff options
| author | David Tolnay <dtolnay@gmail.com> | 2022-01-02 14:24:11 -0800 |
|---|---|---|
| committer | David Tolnay <dtolnay@gmail.com> | 2022-01-06 13:30:57 -0800 |
| commit | 7174ec22cfc05d7e75678a1362ccfcf89b351b71 (patch) | |
| tree | 8e3d5ed9ff71f104ce0e0ea00c6ef96e52ac5c9d | |
| parent | 8f3238f898163f09726c3d2b2cc9bafb09da26f3 (diff) | |
| download | rust-7174ec22cfc05d7e75678a1362ccfcf89b351b71.tar.gz rust-7174ec22cfc05d7e75678a1362ccfcf89b351b71.zip | |
Exit nonzero on rustc -Wall
| -rw-r--r-- | compiler/rustc_driver/src/lib.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_driver/src/lib.rs b/compiler/rustc_driver/src/lib.rs index 12e0b7a4977..3531e8f9a81 100644 --- a/compiler/rustc_driver/src/lib.rs +++ b/compiler/rustc_driver/src/lib.rs @@ -1047,7 +1047,7 @@ pub fn handle_options(args: &[String]) -> Option<getopts::Matches> { let wall = matches.opt_strs("W"); if wall.iter().any(|x| *x == "all") { print_wall_help(); - return None; + rustc_errors::FatalError.raise(); } // Don't handle -W help here, because we might first load plugins. |
