From fdba71f46a443d53959adb9cb653815d7ac5a718 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Thu, 8 Apr 2021 09:43:43 +0200
Subject: [PATCH] [Ptests] Reverses the order in which successive FILTER
directives are applied.
---
ptests/ptests.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/ptests/ptests.ml b/ptests/ptests.ml
index b98589f11bc..d50104b0c16 100644
--- a/ptests/ptests.ml
+++ b/ptests/ptests.ml
@@ -955,7 +955,7 @@ end = struct
match current.dc_filter with
| None when s="" -> { current with dc_filter = None }
| None -> { current with dc_filter = Some s }
- | Some filter -> { current with dc_filter = Some (filter ^ " | " ^ s) });
+ | Some filter -> { current with dc_filter = Some (s ^ " | " ^ filter) });
"EXIT",
(fun ~drop:_ ~file:_ _ s current -> { current with dc_exit_code = Some s });
--
GitLab