diff --git a/ptests/ptests.ml b/ptests/ptests.ml
index 23f595045f5a77a75a870e58661cc76edab993f2..8604657d10675867cc7bf116494344a719cafdc7 100644
--- a/ptests/ptests.ml
+++ b/ptests/ptests.ml
@@ -1353,6 +1353,7 @@ let do_command command =
           if !verbosity >= 1 then begin
             lock_printf "%% launch %s@." cmd;
           end;
+          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