diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/coqc.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/coqc.ml b/scripts/coqc.ml index e661455cac..aa09219bf7 100644 --- a/scripts/coqc.ml +++ b/scripts/coqc.ml @@ -164,6 +164,9 @@ let parse_args () = try Sys.getenv "COQLIB" with Not_found -> Coq_config.coqlib in print_endline coqlib; exit 0 + + | ("-config" | "--config") :: _ -> Usage.print_config (); exit 0 + | ("-v"|"--version") :: _ -> Usage.version () | f :: rem -> |