From 4a9a193e8cc4957656643b7dcba9e707061c69bf Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 16 Jul 2020 17:30:08 +0200
Subject: [PATCH] [ptests] count EXEC: directives as run
---
ptests/ptests.ml | 1 +
1 file changed, 1 insertion(+)
diff --git a/ptests/ptests.ml b/ptests/ptests.ml
index 23f595045f5..8604657d106 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
--
GitLab