Disable handling of exceptions by cmdliner
This commit is contained in:
parent
d696bd113b
commit
affacb8925
|
@ -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 ->
|
||||
|
|
Loading…
Reference in New Issue