From b60ffa780d0c18c754b03ad8dd745fc3e19f11d6 Mon Sep 17 00:00:00 2001
From: Oliver Schneider <oli-obk@users.noreply.github.com>
Date: Sat, 19 May 2018 18:49:57 +0200
Subject: [PATCH] Stop compilation after linting

---
 src/driver.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/driver.rs b/src/driver.rs
index 2be29df5a..61afb6ea2 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