From 6e1a89cdcab5ebe97a042f3af3849bd478f2c54e Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Mon, 12 Oct 2020 17:42:35 +0200
Subject: [PATCH] [Ptests] show EXECNOW command when -show is set
---
ptests/ptests.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/ptests/ptests.ml b/ptests/ptests.ml
index 8e6da4e9482..40a4d2de709 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;
--
GitLab