diff --git a/ptests/ptests.ml b/ptests/ptests.ml
index 8e6da4e9482bbd8d8d4e5f75c813bb051280febd..40a4d2de7092bde02271d9a7337b0753b5152225 100644
--- a/ptests/ptests.ml
+++ b/ptests/ptests.ml
@@ -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;