Commit 31f54af2 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

Merge branch 'fix/andre/ptests-show-execnow' into 'master'

[Ptests] show EXECNOW command when -show is set

See merge request frama-c/frama-c!2891
parents ac780778 6e1a89cd
......@@ -1376,7 +1376,7 @@ let do_command command =
else
execnow.ex_cmd
in
if !verbosity >= 1 then begin
if !verbosity >= 1 || !behavior = Show then begin
lock_printf "%% launch %s@." cmd;
end;
shared.summary_run <- succ shared.summary_run;
......
Supports Markdown
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