From c1f7436d3e5e65c956fb7e5976e308a83f4d68bb Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Thu, 15 Dec 2016 13:55:18 +0100
Subject: Check errors at the end. Bug 19872

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

(limited to 'driver')

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