From f6811213b24b5646404d3f3ad48a4ec79eb12dab Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sat, 25 May 2019 15:48:40 +0200
Subject: Coqc: Treat unknown arguments starting with dash as unknown options
 rather than files.

---
 toplevel/coqcargs.ml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/toplevel/coqcargs.ml b/toplevel/coqcargs.ml
index 2279ce5505..63c37e2251 100644
--- a/toplevel/coqcargs.ml
+++ b/toplevel/coqcargs.ml
@@ -63,7 +63,10 @@ let check_compilation_output_name_consistency args =
     prerr_endline ("file have to be compiled")
   | _ -> ()
 
+let is_dash_argument s = String.length s > 0 && s.[0] = '-'
+
 let add_compile ?echo copts s =
+  if is_dash_argument s then (prerr_endline ("Unknown option " ^ s); exit 1);
   (* make the file name explicit; needed not to break up Coq loadpath stuff. *)
   let echo = Option.default copts.echo echo in
   let s =
-- 
cgit v1.2.3