Commit f2f28649 authored by Francois Bobot's avatar Francois Bobot
Browse files

Print the command used for version detection

parent b9513d9c
......@@ -70,7 +70,8 @@ let load rc =
let read_auto_detection_data main =
let filename = Filename.concat (Whyconf.datadir main) "provers-detection-data.conf" in
let filename = Filename.concat (Whyconf.datadir main)
"provers-detection-data.conf" in
let rc = Rc.from_file filename in
load rc
......@@ -102,6 +103,7 @@ let detect_prover main acc data =
let out = Filename.temp_file "out" "" in
let cmd = sprintf "%s %s" com data.version_switch in
let c = sprintf "(%s) > %s" cmd out in
eprintf "Run : %s@." c;
let ret = Sys.command c in
if ret <> 0 then
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment