From affacb8925efab742092afeab40da1264007df44 Mon Sep 17 00:00:00 2001
From: Jeremie Dimino <jdimino@janestreet.com>
Date: Thu, 23 Feb 2017 12:15:57 +0000
Subject: [PATCH] Disable handling of exceptions by cmdliner

---
 bin/main.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/main.ml b/bin/main.ml
index d4e18763..5435ebb1 100644
--- a/bin/main.ml
+++ b/bin/main.ml
@@ -153,7 +153,7 @@ let all =
 
 let () =
   try
-    match Term.eval_choice (build_targets ~name:"jbuilder") all with
+    match Term.eval_choice (build_targets ~name:"jbuilder") all ~catch:false with
     | `Error _ -> exit 1
     | _ -> exit 0
   with exn ->