add (hidden) option —check

74c26839 · Bruno Guillaume · 0f3f4d9a · 74c26839
Commit 74c26839 authored Sep 05, 2018 by Bruno Guillaume
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 0 deletions

src/main.ml src/main.ml +3 -0

No files found.
--- a/src/main.ml
+++ b/src/main.ml
@@ -57,6 +57,9 @@ let rec parse_arg = function
  | "-s"::s::tail
  | "--sentid"::s::tail -> requested_sentid := Some s; parse_arg tail

+  (* does nothing (allow to pyqt to check for existence of the program) *)
+  | "--check"::_ -> exit 0
+
  | "--special_chars"::s::tail -> special_chars := Some s; parse_arg tail

  | "-d"::tail | "--debug"::tail -> debug := true; parse_arg tail