Skip to content

Commit fc037ec

Browse files
author
Stephane Glondu
committed
Add cmdline_api_version to --config output
This gives to reverse-dependencies the ability to auto-detect which command-line syntax to use. Signed-off-by: Stephane Glondu <[email protected]>
1 parent a496fa5 commit fc037ec

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

src/params.ml

+1
Original file line numberDiff line numberDiff line change
@@ -477,6 +477,7 @@ let configuration toolbox force =
477477
in
478478
let lines =
479479
[ "version == \"" ^ rawversion () ^ "\""
480+
; "cmdline_api_version == 2"
480481
; "built_with == \"OCaml " ^ Sys.ocaml_version ^ "\""
481482
; "tlapm_executable == \"" ^ Sys.executable_name ^ "\""
482483
; "max_threads == " ^ string_of_int !max_threads

0 commit comments

Comments
 (0)