Merge pull request #2779 from rust-lang-nursery/rerunnable_clippy

Stop compilation after linting
2018-05-20 09:56:35 +02:00 · 2018-05-20 09:56:35 +02:00 · fcbcdbc625
commit fcbcdbc625
parent 26423dc392 b60ffa780d
1 changed files with 2 additions and 0 deletions
--- a/src/driver.rs
+++ b/src/driver.rs
@ -118,6 +118,8 @@ fn build_controller(&mut self, sess: &Session, matches: &getopts::Matches) -> dr
                }
                old(state);
            });
+            
+            control.compilation_done.stop = Compilation::Stop;
        }

        control