From e7718ec062c5fa1a38555e27e71eabbfdf8aebb4 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 29 Sep 2023 13:08:48 +0200
Subject: [PATCH] [ptests] removes an unused parameter
---
tools/ptests/ptests.ml | 10 +++++++---
1 file changed, 7 insertions(+), 3 deletions(-)
diff --git a/tools/ptests/ptests.ml b/tools/ptests/ptests.ml
index dba1675fd59..09da1de6707 100644
--- a/tools/ptests/ptests.ml
+++ b/tools/ptests/ptests.ml
@@ -826,7 +826,7 @@ end = struct
enabled_if = select ~prev:deps.enabled_if ~config:config.dc_enabled_if
}
- let config_exec ~once ~drop:_ ~file ~dir:_ s current =
+ let config_exec ~once ~drop:_ ~file s current =
let s = Macros.expand ~file current.dc_macros s in
{ current with
dc_execnow =
@@ -1016,8 +1016,12 @@ end = struct
(fun ~drop:_ ~file:_ ~dir:_ _ current ->
{ current with dc_dont_run = true });
- "EXECNOW", config_exec ~once:true;
- "EXEC", config_exec ~once:false;
+ "EXECNOW",
+ (fun ~drop ~file ~dir:_ s acc ->
+ config_exec ~once:true ~file ~drop s acc);
+ "EXEC",
+ (fun ~drop ~file ~dir:_ s acc ->
+ config_exec ~once:false ~file ~drop s acc);
"MACRO", config_macro;
"LIBS", config_libs;
--
GitLab