From 2dbca1436b5c252ae2b8bdde24d802ee6757a996 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Fri, 15 Mar 2024 17:09:18 +0100
Subject: [PATCH] [tests] filter msg differences between clang 17 and older

---
 tests/test_config | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/test_config b/tests/test_config
index 450c4673..960ea364 100644
--- a/tests/test_config
+++ b/tests/test_config
@@ -15,6 +15,6 @@ MACRO: WP_PLUGINS wp,rtegen
 PLUGIN: @WP_PLUGINS@ @EVA_PLUGINS@
 LIBRARY: frama-clang.core
 
-FILTER:sed  -e "s|@FRAMAC_SHARE@|FRAMAC_SHARE|g" -e "s|$(pwd -P)/||g"
+FILTER:sed  -e "s|@FRAMAC_SHARE@|FRAMAC_SHARE|g" -e "s|$(pwd -P)/||g" -e 's/^[ 0-9]*| //'
 OPT: @MACHDEP@ -print -check @CXX@
 cd ..
-- 
GitLab