diff options
| author | Oliver Schneider <oli-obk@users.noreply.github.com> | 2018-05-19 18:49:57 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-05-19 18:49:57 +0200 |
| commit | b60ffa780d0c18c754b03ad8dd745fc3e19f11d6 (patch) | |
| tree | 2cee18629771b680d357b03d744124dda92cecf1 /src | |
| parent | 06f981f2e98379c954a9822da59d64599d670165 (diff) | |
| download | rust-b60ffa780d0c18c754b03ad8dd745fc3e19f11d6.tar.gz rust-b60ffa780d0c18c754b03ad8dd745fc3e19f11d6.zip | |
Stop compilation after linting
Diffstat (limited to 'src')
| -rw-r--r-- | src/driver.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/driver.rs b/src/driver.rs index 2be29df5a54..61afb6ea2f4 100644 --- a/src/driver.rs +++ b/src/driver.rs @@ -118,6 +118,8 @@ impl<'a> CompilerCalls<'a> for ClippyCompilerCalls { } old(state); }); + + control.compilation_done.stop = Compilation::Stop; } control |