From 047f5ea8e018f1b475f05cf218a88829ec772b65 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Wed, 28 Sep 2022 10:30:10 +0200
Subject: [PATCH] [ptests] adds a minor fix about IGNORE keyword
---
tools/ptests/ptests.ml | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/tools/ptests/ptests.ml b/tools/ptests/ptests.ml
index 1a4c248823c..0004ef4ecb2 100644
--- a/tools/ptests/ptests.ml
+++ b/tools/ptests/ptests.ml
@@ -179,6 +179,7 @@ let example_msg =
# <comment> @[<v 0># Just a comment line.@]@ \
DEFAULT_SUITES = <suite>... @[<v 0># Cumulative list of subdirectories containing test suites (specified by \"test_config\" files).@]@ \
<mode>_SUITES = <suite>... @[<v 0># Cumulative list of subdirectories containing test suites (specified by \"test_config_<mode>\" files).@]@ \
+ IGNORE = <mode>_SUITE = <suite>... @[<v 0># Cumulative list of ignored test suites.@]@ \
DUNE_ALIAS = <alias-name> @[<v 0># The dune alias @@<alias-name> has to be used to executes the next defined suites (defaults to \"ptests\").@]@ \
@]@ \
@[<v 1>\
@@ -354,7 +355,7 @@ end = struct
(** parses the [dir/ptests_config] file *)
let parse =
let split_blank = Str.split (Str.regexp "[ ]+") in
- let regexp = Str.regexp " *\\([^#=][^=]*\\)=\\(.*\\)" in
+ let regexp = Str.regexp " *\\([^#=][^= ]*\\) *=\\(.*\\)" in
let regexp_config = Str.regexp "\\([a-zA-Z_]+\\)_SUITES" in
let regexp_comment = Str.regexp " *#" in
let get_key_value s = str_string_match2 regexp s 0 in
--
GitLab