From 52281261c4be21d0599ac5325abc2aaddef91f63 Mon Sep 17 00:00:00 2001 From: Dmitry Boulytchev Date: Wed, 30 Sep 2020 21:21:57 +0300 Subject: [PATCH] Set retcode on error properly --- src/Driver.ml | 6 +++--- src/version.ml | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/Driver.ml b/src/Driver.ml index 771ab15b6..cea23fb86 100644 --- a/src/Driver.ml +++ b/src/Driver.ml @@ -205,7 +205,7 @@ let main = in List.iter (fun i -> Printf.printf "%d\n" i) output ) - | `Fail er -> Printf.eprintf "Error: %s\n" er + | `Fail er -> Printf.eprintf "Error: %s\n" er; exit 255 with - | Language.Semantic_error msg -> Printf.printf "Error: %s\n" msg - | Commandline_error msg -> Printf.printf "%s\n" msg + | Language.Semantic_error msg -> Printf.printf "Error: %s\n" msg; exit 255 + | Commandline_error msg -> Printf.printf "%s\n" msg; exit 255 diff --git a/src/version.ml b/src/version.ml index e5cfd5503..55f648f02 100644 --- a/src/version.ml +++ b/src/version.ml @@ -1 +1 @@ -let version = "Version 1.00, 4c736914d, Mon Sep 21 23:46:13 2020 +0300" +let version = "Version 1.00, 2f640fdc6, Wed Sep 23 01:39:38 2020 +0300"