From 76ea36b0cb305353601b2f8f577a35805845eeac Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Fri, 11 Sep 2020 16:41:29 +0200
Subject: [PATCH] [Ptests] avoid matching frama-c-config and frama-c-script
---
ptests/ptests.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/ptests/ptests.ml b/ptests/ptests.ml
index 78469525850..4b3f72cada3 100644
--- a/ptests/ptests.ml
+++ b/ptests/ptests.ml
@@ -1006,7 +1006,7 @@ let get_macros cmd =
let basic_command_string =
let contains_toplevel_or_frama_c =
- Str.regexp "[^( ]*\\(\\(toplevel\\)\\|\\(viewer\\)\\|\\(frama-c\\)\\).*"
+ Str.regexp "[^( ]*\\(\\(toplevel\\)\\|\\(viewer\\)\\|\\(frama-c-gui\\)\\|\\(frama-c[^-]\\)\\).*"
in
fun command ->
let macros = get_macros command in
--
GitLab