Commit 4a9a193e authored by Virgile Prevosto's avatar Virgile Prevosto Committed by Andre Maroneze
Browse files

[ptests] count EXEC: directives as run

parent dbe66dce
......@@ -1353,6 +1353,7 @@ let do_command command =
if !verbosity >= 1 then begin
lock_printf "%% launch %s@." cmd;
shared.summary_run <- succ shared.summary_run;
let r = launch cmd in
(* mark as already executed. For EXECNOW in test_config files,
other instances (for example another test of the same
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