From 78259a079da05b691d0cad87c70a446568427697 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Wed, 10 Apr 2019 02:18:15 +0200
Subject: [coqdep] Exit with error code on exception.

This turns out to confuse many tools otherwise.
---
 tools/coqdep.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/tools/coqdep.ml b/tools/coqdep.ml
index 66f1f257b8..7114965a11 100644
--- a/tools/coqdep.ml
+++ b/tools/coqdep.ml
@@ -563,4 +563,5 @@ let _ =
   try
     coqdep ()
   with CoqlibError msg ->
-    eprintf "*** Error: %s@\n%!" msg
+    eprintf "*** Error: %s@\n%!" msg;
+    exit 1
-- 
cgit v1.2.3