From a48f857450950b2d1370249bca673ad2c15559d1 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Thu, 15 Dec 2016 14:42:30 +0100
Subject: Also exit on errors. Bug 19872

---
 driver/Driver.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/driver/Driver.ml b/driver/Driver.ml
index 998c67ff..353a7176 100644
--- a/driver/Driver.ml
+++ b/driver/Driver.ml
@@ -537,6 +537,6 @@ let _ =
     if (not nolink) && linker_args <> [] then begin
       linker (output_filename_default "a.out") linker_args
     end;
-    Cerrors.check_errors ()
+   if  Cerrors.check_errors () then exit 2
   with Sys_error msg ->
     eprintf "I/O error: %s.\n" msg; exit 2
-- 
cgit